th.txt

-- addDependentFile test-artefacts/headers/golden/documentation/data_kind_pragma.h
{-| __C declaration:__ @triplet@

    __defined at:__ @documentation\/data_kind_pragma.h 3:13@

    __exported by:__ @documentation\/data_kind_pragma.h@
-}
newtype Triplet
    = Triplet {unwrapTriplet :: (ConstantArray 3 CInt)}
    deriving stock (Eq, Generic, Show)
    deriving newtype (IsArray, ReadRaw, StaticSize, Storable, WriteRaw)
instance (~) ty (ConstantArray 3 CInt) =>
         HasField "unwrapTriplet" Triplet ty
    where hasField = \x_0 -> (\y_1 -> Triplet{unwrapTriplet = y_1},
                              getField @"unwrapTriplet" x_0)
instance (~) ty (ConstantArray 3 CInt) =>
         HasField "unwrapTriplet" (Ptr Triplet) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapTriplet")
instance HasCField Triplet "unwrapTriplet"
    where type CFieldType Triplet "unwrapTriplet" = ConstantArray 3
                                                                  CInt
          offset# = \_ -> \_ -> 0