-- addDependentFile examples/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)} {- ^ __C declaration:__ @triplet@ __defined at:__ @documentation\/data_kind_pragma.h 3:13@ __exported by:__ @documentation\/data_kind_pragma.h@ -} deriving stock (Eq, Show) deriving newtype (StaticSize, ReadRaw, WriteRaw, Storable) instance TyEq ty (CFieldType Triplet "unwrapTriplet") => 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