th.txt

-- addDependentFile test-artefacts/headers/golden/program-analysis/circular_includes.h
-- addDependentFile test-artefacts/headers/golden/program-analysis/circular_includes_inner.h
{-| __C declaration:__ @OUTER_BEFORE_CIRCULAR_INCLUDE@

    __defined at:__ @program-analysis\/circular_includes.h 2:13@

    __exported by:__ @program-analysis\/circular_includes.h@
-}
newtype OUTER_BEFORE_CIRCULAR_INCLUDE
    = OUTER_BEFORE_CIRCULAR_INCLUDE {unwrapOUTER_BEFORE_CIRCULAR_INCLUDE :: CInt}
    deriving stock (Eq, Generic, Ord, Read, Show)
    deriving newtype (Bitfield,
                      Bits,
                      Bounded,
                      Enum,
                      FiniteBits,
                      HasFFIType,
                      Integral,
                      Ix,
                      Num,
                      Prim,
                      ReadRaw,
                      Real,
                      StaticSize,
                      Storable,
                      WriteRaw)
instance (~) ty CInt =>
         HasField "unwrapOUTER_BEFORE_CIRCULAR_INCLUDE"
                  OUTER_BEFORE_CIRCULAR_INCLUDE
                  ty
    where hasField = \x_0 -> (\y_1 -> OUTER_BEFORE_CIRCULAR_INCLUDE{unwrapOUTER_BEFORE_CIRCULAR_INCLUDE = y_1},
                              getField @"unwrapOUTER_BEFORE_CIRCULAR_INCLUDE" x_0)
instance (~) ty CInt =>
         HasField "unwrapOUTER_BEFORE_CIRCULAR_INCLUDE"
                  (Ptr OUTER_BEFORE_CIRCULAR_INCLUDE)
                  (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapOUTER_BEFORE_CIRCULAR_INCLUDE")
instance HasCField OUTER_BEFORE_CIRCULAR_INCLUDE
                   "unwrapOUTER_BEFORE_CIRCULAR_INCLUDE"
    where type CFieldType OUTER_BEFORE_CIRCULAR_INCLUDE
                          "unwrapOUTER_BEFORE_CIRCULAR_INCLUDE" = CInt
          offset# = \_ -> \_ -> 0
{-| __C declaration:__ @OUTER_AFTER_CIRCULAR_INCLUDE@

    __defined at:__ @program-analysis\/circular_includes.h 4:13@

    __exported by:__ @program-analysis\/circular_includes.h@
-}
newtype OUTER_AFTER_CIRCULAR_INCLUDE
    = OUTER_AFTER_CIRCULAR_INCLUDE {unwrapOUTER_AFTER_CIRCULAR_INCLUDE :: CInt}
    deriving stock (Eq, Generic, Ord, Read, Show)
    deriving newtype (Bitfield,
                      Bits,
                      Bounded,
                      Enum,
                      FiniteBits,
                      HasFFIType,
                      Integral,
                      Ix,
                      Num,
                      Prim,
                      ReadRaw,
                      Real,
                      StaticSize,
                      Storable,
                      WriteRaw)
instance (~) ty CInt =>
         HasField "unwrapOUTER_AFTER_CIRCULAR_INCLUDE"
                  OUTER_AFTER_CIRCULAR_INCLUDE
                  ty
    where hasField = \x_0 -> (\y_1 -> OUTER_AFTER_CIRCULAR_INCLUDE{unwrapOUTER_AFTER_CIRCULAR_INCLUDE = y_1},
                              getField @"unwrapOUTER_AFTER_CIRCULAR_INCLUDE" x_0)
instance (~) ty CInt =>
         HasField "unwrapOUTER_AFTER_CIRCULAR_INCLUDE"
                  (Ptr OUTER_AFTER_CIRCULAR_INCLUDE)
                  (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapOUTER_AFTER_CIRCULAR_INCLUDE")
instance HasCField OUTER_AFTER_CIRCULAR_INCLUDE
                   "unwrapOUTER_AFTER_CIRCULAR_INCLUDE"
    where type CFieldType OUTER_AFTER_CIRCULAR_INCLUDE
                          "unwrapOUTER_AFTER_CIRCULAR_INCLUDE" = CInt
          offset# = \_ -> \_ -> 0