th.txt

-- addDependentFile test-artefacts/headers/golden/program-analysis/selection_omit_external_root.h
-- addDependentFile test-artefacts/headers/golden/program-analysis/selection_omit_external_b.h
{-| __C declaration:__ @struct Omitted@

    __defined at:__ @selection_omit_external_root.h 1:8@

    __exported by:__ @program-analysis\/selection_omit_external_b.h@
-}
data Omitted
    = Omitted {omitted_n :: CInt
               {- ^ __C declaration:__ @n@

                    __defined at:__ @selection_omit_external_root.h 2:7@

                    __exported by:__ @program-analysis\/selection_omit_external_b.h@
               -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize Omitted
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw Omitted
    where readRaw = \ptr_0 -> pure Omitted <*> readRaw (Proxy @"omitted_n") ptr_0
instance WriteRaw Omitted
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       Omitted omitted_n_2 -> writeRaw (Proxy @"omitted_n") ptr_0 omitted_n_2
deriving via (EquivStorable Omitted) instance Storable Omitted
deriving via (IsStructViaReadRaw Omitted) instance IsStruct Omitted
instance (~) ty CInt => HasField "omitted_n" Omitted ty
    where hasField = \x_0 -> (\y_1 -> Omitted{omitted_n = y_1},
                              getField @"omitted_n" x_0)
instance (~) ty CInt => HasField "omitted_n" (Ptr Omitted) (Ptr ty)
    where getField = fromPtr (Proxy @"omitted_n")
instance HasCField Omitted "omitted_n"
    where type CFieldType Omitted "omitted_n" = CInt
          offset# = \_ -> \_ -> 0
{-| __C declaration:__ @struct DirectlyDependsOnOmitted@

    __defined at:__ @program-analysis\/selection_omit_external_b.h 4:8@

    __exported by:__ @program-analysis\/selection_omit_external_b.h@
-}
data DirectlyDependsOnOmitted
    = DirectlyDependsOnOmitted {directlyDependsOnOmitted_o :: Omitted
                                {- ^ __C declaration:__ @o@

                                     __defined at:__ @program-analysis\/selection_omit_external_b.h 5:18@

                                     __exported by:__ @program-analysis\/selection_omit_external_b.h@
                                -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize DirectlyDependsOnOmitted
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw DirectlyDependsOnOmitted
    where readRaw = \ptr_0 -> pure DirectlyDependsOnOmitted <*> readRaw (Proxy @"directlyDependsOnOmitted_o") ptr_0
instance WriteRaw DirectlyDependsOnOmitted
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       DirectlyDependsOnOmitted directlyDependsOnOmitted_o_2 -> writeRaw (Proxy @"directlyDependsOnOmitted_o") ptr_0 directlyDependsOnOmitted_o_2
deriving via (EquivStorable DirectlyDependsOnOmitted) instance Storable DirectlyDependsOnOmitted
deriving via (IsStructViaReadRaw DirectlyDependsOnOmitted) instance IsStruct DirectlyDependsOnOmitted
instance (~) ty Omitted =>
         HasField "directlyDependsOnOmitted_o" DirectlyDependsOnOmitted ty
    where hasField = \x_0 -> (\y_1 -> DirectlyDependsOnOmitted{directlyDependsOnOmitted_o = y_1},
                              getField @"directlyDependsOnOmitted_o" x_0)
instance (~) ty Omitted =>
         HasField "directlyDependsOnOmitted_o"
                  (Ptr DirectlyDependsOnOmitted)
                  (Ptr ty)
    where getField = fromPtr (Proxy @"directlyDependsOnOmitted_o")
instance HasCField DirectlyDependsOnOmitted
                   "directlyDependsOnOmitted_o"
    where type CFieldType DirectlyDependsOnOmitted
                          "directlyDependsOnOmitted_o" = Omitted
          offset# = \_ -> \_ -> 0
{-| __C declaration:__ @struct IndirectlyDependsOnOmitted@

    __defined at:__ @program-analysis\/selection_omit_external_b.h 8:8@

    __exported by:__ @program-analysis\/selection_omit_external_b.h@
-}
data IndirectlyDependsOnOmitted
    = IndirectlyDependsOnOmitted {indirectlyDependsOnOmitted_d :: DirectlyDependsOnOmitted
                                  {- ^ __C declaration:__ @d@

                                       __defined at:__ @program-analysis\/selection_omit_external_b.h 9:35@

                                       __exported by:__ @program-analysis\/selection_omit_external_b.h@
                                  -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize IndirectlyDependsOnOmitted
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw IndirectlyDependsOnOmitted
    where readRaw = \ptr_0 -> pure IndirectlyDependsOnOmitted <*> readRaw (Proxy @"indirectlyDependsOnOmitted_d") ptr_0
instance WriteRaw IndirectlyDependsOnOmitted
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       IndirectlyDependsOnOmitted indirectlyDependsOnOmitted_d_2 -> writeRaw (Proxy @"indirectlyDependsOnOmitted_d") ptr_0 indirectlyDependsOnOmitted_d_2
deriving via (EquivStorable IndirectlyDependsOnOmitted) instance Storable IndirectlyDependsOnOmitted
deriving via (IsStructViaReadRaw IndirectlyDependsOnOmitted) instance IsStruct IndirectlyDependsOnOmitted
instance (~) ty DirectlyDependsOnOmitted =>
         HasField "indirectlyDependsOnOmitted_d"
                  IndirectlyDependsOnOmitted
                  ty
    where hasField = \x_0 -> (\y_1 -> IndirectlyDependsOnOmitted{indirectlyDependsOnOmitted_d = y_1},
                              getField @"indirectlyDependsOnOmitted_d" x_0)
instance (~) ty DirectlyDependsOnOmitted =>
         HasField "indirectlyDependsOnOmitted_d"
                  (Ptr IndirectlyDependsOnOmitted)
                  (Ptr ty)
    where getField = fromPtr (Proxy @"indirectlyDependsOnOmitted_d")
instance HasCField IndirectlyDependsOnOmitted
                   "indirectlyDependsOnOmitted_d"
    where type CFieldType IndirectlyDependsOnOmitted
                          "indirectlyDependsOnOmitted_d" = DirectlyDependsOnOmitted
          offset# = \_ -> \_ -> 0