th.txt

-- addDependentFile test-artefacts/headers/golden/macros/parse/intermittent_include_inner.h
-- addDependentFile test-artefacts/headers/golden/macros/parse/intermittent_include.h
{-| __C declaration:__ @Ta@

    __defined at:__ @intermittent_include_inner.h 3:13@

    __exported by:__ @macros\/parse\/intermittent_include.h@
-}
newtype Ta
    = Ta {unwrapTa :: 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 "unwrapTa" Ta ty
    where hasField = \x_0 -> (\y_1 -> Ta{unwrapTa = y_1},
                              getField @"unwrapTa" x_0)
instance (~) ty CInt => HasField "unwrapTa" (Ptr Ta) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapTa")
instance HasCField Ta "unwrapTa"
    where type CFieldType Ta "unwrapTa" = CInt
          offset# = \_ -> \_ -> 0
{-| __C declaration:__ @T1@

    __defined at:__ @macros\/parse\/intermittent_include.h 9:13@

    __exported by:__ @macros\/parse\/intermittent_include.h@
-}
newtype T1
    = T1 {unwrapT1 :: 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 "unwrapT1" T1 ty
    where hasField = \x_0 -> (\y_1 -> T1{unwrapT1 = y_1},
                              getField @"unwrapT1" x_0)
instance (~) ty CInt => HasField "unwrapT1" (Ptr T1) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapT1")
instance HasCField T1 "unwrapT1"
    where type CFieldType T1 "unwrapT1" = CInt
          offset# = \_ -> \_ -> 0
{-| __C declaration:__ @T2@

    __defined at:__ @macros\/parse\/intermittent_include.h 17:13@

    __exported by:__ @macros\/parse\/intermittent_include.h@
-}
newtype T2
    = T2 {unwrapT2 :: 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 "unwrapT2" T2 ty
    where hasField = \x_0 -> (\y_1 -> T2{unwrapT2 = y_1},
                              getField @"unwrapT2" x_0)
instance (~) ty CInt => HasField "unwrapT2" (Ptr T2) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapT2")
instance HasCField T2 "unwrapT2"
    where type CFieldType T2 "unwrapT2" = CInt
          offset# = \_ -> \_ -> 0