hs-bindgen-1.0.0.0: test-artefacts/fixtures/documentation/doxygen_docs/Example.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE UndecidableInstances #-}
module Example
( Example.Opaque_struct
, Example.Opaque_union
, Example.Api_version_t(..)
-- * Core Data Types
, Example.mAX_NAME_LENGTH
, Example.Size_type(..)
, Example.Color_enum(..)
, pattern Example.COLOR_RED
, pattern Example.COLOR_GREEN
, pattern Example.COLOR_BLUE
-- * Function Definitions
, Example.Event_callback_t_Aux(..)
, Example.Event_callback_t(..)
, Example.Config_t(..)
, Example.Status_code_t(..)
, pattern Example.STATUS_OK
, pattern Example.STATUS_INVALID_PARAM
, pattern Example.STATUS_NO_MEMORY
, pattern Example.STATUS_TIMEOUT
, pattern Example.STATUS_ERROR
, Example.Data_union_t_as_parts(..)
, Example.Data_union_t(..)
, Example.Bitfield_t(..)
, Example.Processor_fn_t_Aux(..)
, Example.Processor_fn_t(..)
, Example.Filename_t(..)
, Example.Flexible_array_Aux(..)
, Example.Flexible_array
-- * Extra Doxygen Coverage
, Example.Dyn_array_t(..)
, Example.Multi_untagged_t_pos(..)
, Example.Multi_untagged_t_dim(..)
, Example.Multi_untagged_t(..)
, Example.Named_inner(..)
, Example.Named_outer(..)
, Example.Deep_mid_untagged_field(..)
, Example.Deep_mid(..)
, Example.Deep_outer(..)
, Example.Unnamed_field_t_anon'ua(..)
, Example.Unnamed_field_t(..)
)
where
import qualified HsBindgen.Runtime.BitfieldPtr as BitfieldPtr
import qualified HsBindgen.Runtime.CEnum as CEnum
import qualified HsBindgen.Runtime.ConstantArray as CA
import qualified HsBindgen.Runtime.FLAM as FLAM
import qualified HsBindgen.Runtime.HasCBitfield as HasCBitfield
import qualified HsBindgen.Runtime.HasCField as HasCField
import qualified HsBindgen.Runtime.IsArray as IsA
import qualified HsBindgen.Runtime.LibC
import qualified HsBindgen.Runtime.Marshal as Marshal
import qualified HsBindgen.Runtime.Struct as Struct
import qualified HsBindgen.Runtime.Support as BG
import qualified HsBindgen.Runtime.Support.CompatHasField as BG.CompatHasField
import qualified HsBindgen.Runtime.Union as Union
import Prelude ((<*>), (>>), Bounded, Enum, Eq, IO, Int, Integral, Num, Ord, Read, Real, Show, fmap, pure, type (~))
{-| Maximum length for name strings.
__C declaration:__ @macro MAX_NAME_LENGTH@
__defined at:__ @documentation\/doxygen_docs.h 39:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
mAX_NAME_LENGTH :: BG.CInt
mAX_NAME_LENGTH = (64 :: BG.CInt)
{-| Size type for this library.
This is the comment __title__
__C declaration:__ @size_type@
__defined at:__ @documentation\/doxygen_docs.h 56:16@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Size_type = Size_type
{ unwrapSize_type :: HsBindgen.Runtime.LibC.CSize
}
deriving stock (Eq, BG.Generic, Ord, Read, Show)
deriving newtype
( BG.Bitfield
, BG.Bits
, Bounded
, Enum
, BG.FiniteBits
, BG.HasFFIType
, Integral
, BG.Ix
, Num
, BG.Prim
, Marshal.ReadRaw
, Real
, Marshal.StaticSize
, BG.Storable
, Marshal.WriteRaw
)
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.CompatHasField.HasField "unwrapSize_type" Size_type ty where
hasField =
\x0 ->
(\y1 ->
Size_type {unwrapSize_type = y1}, BG.getField @"unwrapSize_type" x0)
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.HasField "unwrapSize_type" (BG.Ptr Size_type) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapSize_type")
instance HasCField.HasCField Size_type "unwrapSize_type" where
type CFieldType Size_type "unwrapSize_type" =
HsBindgen.Runtime.LibC.CSize
offset# = \_ -> \_ -> 0
{-| __C declaration:__ @struct opaque_struct@
__defined at:__ @documentation\/doxygen_docs.h 76:8@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Opaque_struct
{-| __C declaration:__ @union opaque_union@
__defined at:__ @documentation\/doxygen_docs.h 81:7@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Opaque_union
{-| Color enumeration without typedef.
__C declaration:__ @enum color_enum@
__defined at:__ @documentation\/doxygen_docs.h 87:6@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Color_enum = Color_enum
{ unwrapColor_enum :: BG.CUInt
}
deriving stock (Eq, BG.Generic, Ord)
deriving newtype (BG.HasFFIType)
instance Marshal.StaticSize Color_enum where
staticSizeOf = \_ -> (4 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Color_enum where
readRaw =
\ptr0 ->
pure Color_enum
<*> Marshal.readRawByteOff ptr0 (0 :: Int)
instance Marshal.WriteRaw Color_enum where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Color_enum unwrapColor_enum2 ->
Marshal.writeRawByteOff ptr0 (0 :: Int) unwrapColor_enum2
deriving via Marshal.EquivStorable Color_enum instance BG.Storable Color_enum
deriving via BG.CUInt instance BG.Prim Color_enum
instance CEnum.CEnum Color_enum where
type CEnumZ Color_enum = BG.CUInt
toCEnum = Color_enum
fromCEnum = BG.getField @"unwrapColor_enum"
declaredValues =
\_ ->
CEnum.declaredValuesFromList [ (0, BG.singleton "COLOR_RED")
, (1, BG.singleton "COLOR_GREEN")
, (2, BG.singleton "COLOR_BLUE")
]
showsUndeclared =
CEnum.showsWrappedUndeclared "Color_enum"
readPrecUndeclared =
CEnum.readPrecWrappedUndeclared "Color_enum"
isDeclared = CEnum.seqIsDeclared
mkDeclared = CEnum.seqMkDeclared
instance CEnum.SequentialCEnum Color_enum where
minDeclaredValue = COLOR_RED
maxDeclaredValue = COLOR_BLUE
instance Show Color_enum where
showsPrec = CEnum.shows
instance Read Color_enum where
readPrec = CEnum.readPrec
readList = BG.readListDefault
readListPrec = BG.readListPrecDefault
instance ( ty ~ BG.CUInt
) => BG.CompatHasField.HasField "unwrapColor_enum" Color_enum ty where
hasField =
\x0 ->
( \y1 -> Color_enum {unwrapColor_enum = y1}
, BG.getField @"unwrapColor_enum" x0
)
instance ( ty ~ BG.CUInt
) => BG.HasField "unwrapColor_enum" (BG.Ptr Color_enum) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapColor_enum")
instance HasCField.HasCField Color_enum "unwrapColor_enum" where
type CFieldType Color_enum "unwrapColor_enum" =
BG.CUInt
offset# = \_ -> \_ -> 0
{-| Red color
__C declaration:__ @COLOR_RED@
__defined at:__ @documentation\/doxygen_docs.h 88:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern COLOR_RED :: Color_enum
pattern COLOR_RED = Color_enum 0
{-| Green color
__C declaration:__ @COLOR_GREEN@
__defined at:__ @documentation\/doxygen_docs.h 89:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern COLOR_GREEN :: Color_enum
pattern COLOR_GREEN = Color_enum 1
{-| Blue color
__C declaration:__ @COLOR_BLUE@
__defined at:__ @documentation\/doxygen_docs.h 90:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern COLOR_BLUE :: Color_enum
pattern COLOR_BLUE = Color_enum 2
{-| Auxiliary type used by 'Event_callback_t'
__C declaration:__ @event_callback_t@
__defined at:__ @documentation\/doxygen_docs.h 231:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Event_callback_t_Aux = Event_callback_t_Aux
{ unwrapEvent_callback_t_Aux :: BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt
}
deriving stock (BG.Generic)
-- __unique:__ @toEvent_callback_t_Aux@
foreign import ccall safe "wrapper" hs_bindgen_111918b0aee2a7fb_base ::
(BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
-> IO (BG.FunPtr (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt))
-- __unique:__ @toEvent_callback_t_Aux@
hs_bindgen_111918b0aee2a7fb ::
Event_callback_t_Aux
-> IO (BG.FunPtr Event_callback_t_Aux)
hs_bindgen_111918b0aee2a7fb =
\fun0 ->
fmap BG.castFunPtr (hs_bindgen_111918b0aee2a7fb_base (\x1 ->
\x2 ->
fmap BG.toFFIType (BG.getField @"unwrapEvent_callback_t_Aux" fun0 (BG.fromFFIType x1) (BG.fromFFIType x2))))
-- __unique:__ @fromEvent_callback_t_Aux@
foreign import ccall safe "dynamic" hs_bindgen_9e9d478c2d75628c_base ::
BG.FunPtr (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
-> BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt
-- __unique:__ @fromEvent_callback_t_Aux@
hs_bindgen_9e9d478c2d75628c ::
BG.FunPtr Event_callback_t_Aux
-> Event_callback_t_Aux
hs_bindgen_9e9d478c2d75628c =
\funPtr0 ->
Event_callback_t_Aux (\x1 ->
\x2 ->
fmap BG.fromFFIType (hs_bindgen_9e9d478c2d75628c_base (BG.castFunPtr funPtr0) (BG.toFFIType x1) (BG.toFFIType x2)))
instance BG.ToFunPtr Event_callback_t_Aux where
toFunPtr = hs_bindgen_111918b0aee2a7fb
instance BG.FromFunPtr Event_callback_t_Aux where
fromFunPtr = hs_bindgen_9e9d478c2d75628c
instance ( ty ~ (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
) => BG.CompatHasField.HasField "unwrapEvent_callback_t_Aux" Event_callback_t_Aux ty where
hasField =
\x0 ->
( \y1 ->
Event_callback_t_Aux {unwrapEvent_callback_t_Aux = y1}
, BG.getField @"unwrapEvent_callback_t_Aux" x0
)
instance ( ty ~ (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
) => BG.HasField "unwrapEvent_callback_t_Aux" (BG.Ptr Event_callback_t_Aux) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapEvent_callback_t_Aux")
instance HasCField.HasCField Event_callback_t_Aux "unwrapEvent_callback_t_Aux" where
type CFieldType Event_callback_t_Aux "unwrapEvent_callback_t_Aux" =
BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt
offset# = \_ -> \_ -> 0
{-| Callback function type.
[__@event_type@__]: Type of event
[__@user_data@__]: User-provided data
__Returns:__ Handling result
__C declaration:__ @event_callback_t@
__defined at:__ @documentation\/doxygen_docs.h 231:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Event_callback_t = Event_callback_t
{ unwrapEvent_callback_t :: BG.FunPtr Event_callback_t_Aux
}
deriving stock (Eq, BG.Generic, Ord, Show)
deriving newtype
( BG.HasFFIType
, Marshal.ReadRaw
, Marshal.StaticSize
, BG.Storable
, Marshal.WriteRaw
)
instance ( ty ~ BG.FunPtr Event_callback_t_Aux
) => BG.CompatHasField.HasField "unwrapEvent_callback_t" Event_callback_t ty where
hasField =
\x0 ->
( \y1 ->
Event_callback_t {unwrapEvent_callback_t = y1}
, BG.getField @"unwrapEvent_callback_t" x0
)
instance ( ty ~ BG.FunPtr Event_callback_t_Aux
) => BG.HasField "unwrapEvent_callback_t" (BG.Ptr Event_callback_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapEvent_callback_t")
instance HasCField.HasCField Event_callback_t "unwrapEvent_callback_t" where
type CFieldType Event_callback_t "unwrapEvent_callback_t" =
BG.FunPtr Event_callback_t_Aux
offset# = \_ -> \_ -> 0
{-| Structure with documented fields.
This structure demonstrates field documentation.
__C declaration:__ @struct config_t@
__defined at:__ @documentation\/doxygen_docs.h 238:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Config_t = Config_t
{ config_t_id :: HsBindgen.Runtime.LibC.Word32
{- ^ Unique identifier.
__C declaration:__ @id@
__defined at:__ @documentation\/doxygen_docs.h 240:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, config_t_name :: CA.ConstantArray 64 BG.CChar
{- ^ Human-readable name.
__C declaration:__ @name@
__defined at:__ @documentation\/doxygen_docs.h 243:10@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, config_t_flags :: HsBindgen.Runtime.LibC.Word32
{- ^ Configuration flags.
__C declaration:__ @flags@
__defined at:__ @documentation\/doxygen_docs.h 246:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, config_t_callback :: Event_callback_t
{- ^ Optional callback function.
See also: 'Event_callback_t'
__C declaration:__ @callback@
__defined at:__ @documentation\/doxygen_docs.h 253:22@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, config_t_user_data :: BG.Ptr BG.Void
{- ^ User data for callback.
__C declaration:__ @user_data@
__defined at:__ @documentation\/doxygen_docs.h 256:11@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Config_t where
staticSizeOf = \_ -> (88 :: Int)
staticAlignment = \_ -> (8 :: Int)
instance Marshal.ReadRaw Config_t where
readRaw =
\ptr0 ->
pure Config_t
<*> HasCField.readRaw (BG.Proxy @"config_t_id") ptr0
<*> HasCField.readRaw (BG.Proxy @"config_t_name") ptr0
<*> HasCField.readRaw (BG.Proxy @"config_t_flags") ptr0
<*> HasCField.readRaw (BG.Proxy @"config_t_callback") ptr0
<*> HasCField.readRaw (BG.Proxy @"config_t_user_data") ptr0
instance Marshal.WriteRaw Config_t where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Config_t
config_t_id2
config_t_name3
config_t_flags4
config_t_callback5
config_t_user_data6 ->
HasCField.writeRaw (BG.Proxy @"config_t_id") ptr0 config_t_id2
>> HasCField.writeRaw (BG.Proxy @"config_t_name") ptr0 config_t_name3
>> HasCField.writeRaw (BG.Proxy @"config_t_flags") ptr0 config_t_flags4
>> HasCField.writeRaw (BG.Proxy @"config_t_callback") ptr0 config_t_callback5
>> HasCField.writeRaw (BG.Proxy @"config_t_user_data") ptr0 config_t_user_data6
deriving via Marshal.EquivStorable Config_t instance BG.Storable Config_t
deriving via Struct.IsStructViaReadRaw Config_t instance Struct.IsStruct Config_t
{-| Unique identifier.
__C declaration:__ @id@
__defined at:__ @documentation\/doxygen_docs.h 240:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.Word32
) => BG.CompatHasField.HasField "config_t_id" Config_t ty where
hasField =
\x0 ->
( \y1 ->
Config_t { config_t_id = y1
, config_t_name = BG.getField @"config_t_name" x0
, config_t_flags = BG.getField @"config_t_flags" x0
, config_t_callback = BG.getField @"config_t_callback" x0
, config_t_user_data = BG.getField @"config_t_user_data" x0
}
, BG.getField @"config_t_id" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.Word32
) => BG.HasField "config_t_id" (BG.Ptr Config_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"config_t_id")
instance HasCField.HasCField Config_t "config_t_id" where
type CFieldType Config_t "config_t_id" =
HsBindgen.Runtime.LibC.Word32
offset# = \_ -> \_ -> 0
{-| Human-readable name.
__C declaration:__ @name@
__defined at:__ @documentation\/doxygen_docs.h 243:10@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ CA.ConstantArray 64 BG.CChar
) => BG.CompatHasField.HasField "config_t_name" Config_t ty where
hasField =
\x0 ->
( \y1 ->
Config_t { config_t_name = y1
, config_t_id = BG.getField @"config_t_id" x0
, config_t_flags = BG.getField @"config_t_flags" x0
, config_t_callback = BG.getField @"config_t_callback" x0
, config_t_user_data = BG.getField @"config_t_user_data" x0
}
, BG.getField @"config_t_name" x0
)
instance ( ty ~ CA.ConstantArray 64 BG.CChar
) => BG.HasField "config_t_name" (BG.Ptr Config_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"config_t_name")
instance HasCField.HasCField Config_t "config_t_name" where
type CFieldType Config_t "config_t_name" =
CA.ConstantArray 64 BG.CChar
offset# = \_ -> \_ -> 4
{-| Configuration flags.
__C declaration:__ @flags@
__defined at:__ @documentation\/doxygen_docs.h 246:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.Word32
) => BG.CompatHasField.HasField "config_t_flags" Config_t ty where
hasField =
\x0 ->
( \y1 ->
Config_t { config_t_flags = y1
, config_t_id = BG.getField @"config_t_id" x0
, config_t_name = BG.getField @"config_t_name" x0
, config_t_callback = BG.getField @"config_t_callback" x0
, config_t_user_data = BG.getField @"config_t_user_data" x0
}
, BG.getField @"config_t_flags" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.Word32
) => BG.HasField "config_t_flags" (BG.Ptr Config_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"config_t_flags")
instance HasCField.HasCField Config_t "config_t_flags" where
type CFieldType Config_t "config_t_flags" =
HsBindgen.Runtime.LibC.Word32
offset# = \_ -> \_ -> 68
{-| Optional callback function.
See also: 'Event_callback_t'
__C declaration:__ @callback@
__defined at:__ @documentation\/doxygen_docs.h 253:22@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Event_callback_t
) => BG.CompatHasField.HasField "config_t_callback" Config_t ty where
hasField =
\x0 ->
( \y1 ->
Config_t { config_t_callback = y1
, config_t_id = BG.getField @"config_t_id" x0
, config_t_name = BG.getField @"config_t_name" x0
, config_t_flags = BG.getField @"config_t_flags" x0
, config_t_user_data = BG.getField @"config_t_user_data" x0
}
, BG.getField @"config_t_callback" x0
)
instance ( ty ~ Event_callback_t
) => BG.HasField "config_t_callback" (BG.Ptr Config_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"config_t_callback")
instance HasCField.HasCField Config_t "config_t_callback" where
type CFieldType Config_t "config_t_callback" =
Event_callback_t
offset# = \_ -> \_ -> 72
{-| User data for callback.
__C declaration:__ @user_data@
__defined at:__ @documentation\/doxygen_docs.h 256:11@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.Ptr BG.Void
) => BG.CompatHasField.HasField "config_t_user_data" Config_t ty where
hasField =
\x0 ->
( \y1 ->
Config_t { config_t_user_data = y1
, config_t_id = BG.getField @"config_t_id" x0
, config_t_name = BG.getField @"config_t_name" x0
, config_t_flags = BG.getField @"config_t_flags" x0
, config_t_callback = BG.getField @"config_t_callback" x0
}
, BG.getField @"config_t_user_data" x0
)
instance ( ty ~ BG.Ptr BG.Void
) => BG.HasField "config_t_user_data" (BG.Ptr Config_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"config_t_user_data")
instance HasCField.HasCField Config_t "config_t_user_data" where
type CFieldType Config_t "config_t_user_data" =
BG.Ptr BG.Void
offset# = \_ -> \_ -> 80
{-| Enumeration with documented values.
This enum shows different status codes.
__C declaration:__ @enum status_code_t@
__defined at:__ @documentation\/doxygen_docs.h 264:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Status_code_t = Status_code_t
{ unwrapStatus_code_t :: BG.CInt
}
deriving stock (Eq, BG.Generic, Ord)
deriving newtype (BG.HasFFIType)
instance Marshal.StaticSize Status_code_t where
staticSizeOf = \_ -> (4 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Status_code_t where
readRaw =
\ptr0 ->
pure Status_code_t
<*> Marshal.readRawByteOff ptr0 (0 :: Int)
instance Marshal.WriteRaw Status_code_t where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Status_code_t unwrapStatus_code_t2 ->
Marshal.writeRawByteOff ptr0 (0 :: Int) unwrapStatus_code_t2
deriving via Marshal.EquivStorable Status_code_t instance BG.Storable Status_code_t
deriving via BG.CInt instance BG.Prim Status_code_t
instance CEnum.CEnum Status_code_t where
type CEnumZ Status_code_t = BG.CInt
toCEnum = Status_code_t
fromCEnum = BG.getField @"unwrapStatus_code_t"
declaredValues =
\_ ->
CEnum.declaredValuesFromList [ (-99, BG.singleton "STATUS_ERROR")
, (-3, BG.singleton "STATUS_TIMEOUT")
, (-2, BG.singleton "STATUS_NO_MEMORY")
, (-1, BG.singleton "STATUS_INVALID_PARAM")
, (0, BG.singleton "STATUS_OK")
]
showsUndeclared =
CEnum.showsWrappedUndeclared "Status_code_t"
readPrecUndeclared =
CEnum.readPrecWrappedUndeclared "Status_code_t"
instance Show Status_code_t where
showsPrec = CEnum.shows
instance Read Status_code_t where
readPrec = CEnum.readPrec
readList = BG.readListDefault
readListPrec = BG.readListPrecDefault
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unwrapStatus_code_t" Status_code_t ty where
hasField =
\x0 ->
( \y1 -> Status_code_t {unwrapStatus_code_t = y1}
, BG.getField @"unwrapStatus_code_t" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unwrapStatus_code_t" (BG.Ptr Status_code_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapStatus_code_t")
instance HasCField.HasCField Status_code_t "unwrapStatus_code_t" where
type CFieldType Status_code_t "unwrapStatus_code_t" =
BG.CInt
offset# = \_ -> \_ -> 0
{-| Operation successful.
__C declaration:__ @STATUS_OK@
__defined at:__ @documentation\/doxygen_docs.h 266:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern STATUS_OK :: Status_code_t
pattern STATUS_OK = Status_code_t 0
{-| Invalid parameter provided.
__C declaration:__ @STATUS_INVALID_PARAM@
__defined at:__ @documentation\/doxygen_docs.h 269:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern STATUS_INVALID_PARAM :: Status_code_t
pattern STATUS_INVALID_PARAM = Status_code_t (-1)
{-| Memory allocation failed.
__C declaration:__ @STATUS_NO_MEMORY@
__defined at:__ @documentation\/doxygen_docs.h 272:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern STATUS_NO_MEMORY :: Status_code_t
pattern STATUS_NO_MEMORY = Status_code_t (-2)
{-| Operation timed out.
__C declaration:__ @STATUS_TIMEOUT@
__defined at:__ @documentation\/doxygen_docs.h 275:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern STATUS_TIMEOUT :: Status_code_t
pattern STATUS_TIMEOUT = Status_code_t (-3)
{-| Generic error.
__C declaration:__ @STATUS_ERROR@
__defined at:__ @documentation\/doxygen_docs.h 278:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
pattern STATUS_ERROR :: Status_code_t
pattern STATUS_ERROR = Status_code_t (-99)
{-| __C declaration:__ @struct \@data_union_t_as_parts@
__defined at:__ @documentation\/doxygen_docs.h 296:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Data_union_t_as_parts = Data_union_t_as_parts
{ data_union_t_as_parts_low :: HsBindgen.Runtime.LibC.Word16
{- ^ Low 16 bits.
__C declaration:__ @low@
__defined at:__ @documentation\/doxygen_docs.h 297:18@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, data_union_t_as_parts_high :: HsBindgen.Runtime.LibC.Word16
{- ^ High 16 bits.
__C declaration:__ @high@
__defined at:__ @documentation\/doxygen_docs.h 298:18@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Data_union_t_as_parts where
staticSizeOf = \_ -> (4 :: Int)
staticAlignment = \_ -> (2 :: Int)
instance Marshal.ReadRaw Data_union_t_as_parts where
readRaw =
\ptr0 ->
pure Data_union_t_as_parts
<*> HasCField.readRaw (BG.Proxy @"data_union_t_as_parts_low") ptr0
<*> HasCField.readRaw (BG.Proxy @"data_union_t_as_parts_high") ptr0
instance Marshal.WriteRaw Data_union_t_as_parts where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Data_union_t_as_parts data_union_t_as_parts_low2 data_union_t_as_parts_high3 ->
HasCField.writeRaw (BG.Proxy @"data_union_t_as_parts_low") ptr0 data_union_t_as_parts_low2
>> HasCField.writeRaw (BG.Proxy @"data_union_t_as_parts_high") ptr0 data_union_t_as_parts_high3
deriving via Marshal.EquivStorable Data_union_t_as_parts instance BG.Storable Data_union_t_as_parts
deriving via Struct.IsStructViaReadRaw Data_union_t_as_parts instance Struct.IsStruct Data_union_t_as_parts
{-| Low 16 bits.
__C declaration:__ @low@
__defined at:__ @documentation\/doxygen_docs.h 297:18@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.Word16
) => BG.CompatHasField.HasField "data_union_t_as_parts_low" Data_union_t_as_parts ty where
hasField =
\x0 ->
( \y1 ->
Data_union_t_as_parts { data_union_t_as_parts_low = y1
, data_union_t_as_parts_high = BG.getField @"data_union_t_as_parts_high" x0
}
, BG.getField @"data_union_t_as_parts_low" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.Word16
) => BG.HasField "data_union_t_as_parts_low" (BG.Ptr Data_union_t_as_parts) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"data_union_t_as_parts_low")
instance HasCField.HasCField Data_union_t_as_parts "data_union_t_as_parts_low" where
type CFieldType Data_union_t_as_parts "data_union_t_as_parts_low" =
HsBindgen.Runtime.LibC.Word16
offset# = \_ -> \_ -> 0
{-| High 16 bits.
__C declaration:__ @high@
__defined at:__ @documentation\/doxygen_docs.h 298:18@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.Word16
) => BG.CompatHasField.HasField "data_union_t_as_parts_high" Data_union_t_as_parts ty where
hasField =
\x0 ->
( \y1 ->
Data_union_t_as_parts { data_union_t_as_parts_high = y1
, data_union_t_as_parts_low = BG.getField @"data_union_t_as_parts_low" x0
}
, BG.getField @"data_union_t_as_parts_high" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.Word16
) => BG.HasField "data_union_t_as_parts_high" (BG.Ptr Data_union_t_as_parts) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"data_union_t_as_parts_high")
instance HasCField.HasCField Data_union_t_as_parts "data_union_t_as_parts_high" where
type CFieldType Data_union_t_as_parts "data_union_t_as_parts_high" =
HsBindgen.Runtime.LibC.Word16
offset# = \_ -> \_ -> 2
{-| Union with documented fields.
This union demonstrates different data representations.
__C declaration:__ @union data_union_t@
__defined at:__ @documentation\/doxygen_docs.h 287:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Data_union_t = Data_union_t
{ unwrapData_union_t :: BG.ByteArray
}
deriving stock (BG.Generic)
deriving via BG.SizedByteArray 4 4 instance Marshal.StaticSize Data_union_t
deriving via BG.SizedByteArray 4 4 instance Marshal.ReadRaw Data_union_t
deriving via BG.SizedByteArray 4 4 instance Marshal.WriteRaw Data_union_t
deriving via Marshal.EquivStorable Data_union_t instance BG.Storable Data_union_t
deriving via BG.SizedByteArray 4 4 instance Union.IsUnion Data_union_t
{-| Integer representation.
__C declaration:__ @as_int@
__defined at:__ @documentation\/doxygen_docs.h 288:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.Int32
) => BG.HasField "data_union_t_as_int" Data_union_t ty where
getField = BG.getUnionPayload
{-| Integer representation.
__C declaration:__ @as_int@
__defined at:__ @documentation\/doxygen_docs.h 288:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.Int32
) => BG.CompatHasField.HasField "data_union_t_as_int" Data_union_t ty where
hasField =
\x0 ->
(\y1 ->
BG.setUnionPayload y1 x0, BG.getField @"data_union_t_as_int" x0)
instance ( ty ~ HsBindgen.Runtime.LibC.Int32
) => BG.HasField "data_union_t_as_int" (BG.Ptr Data_union_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"data_union_t_as_int")
instance HasCField.HasCField Data_union_t "data_union_t_as_int" where
type CFieldType Data_union_t "data_union_t_as_int" =
HsBindgen.Runtime.LibC.Int32
offset# = \_ -> \_ -> 0
{-| Float representation.
__C declaration:__ @as_float@
__defined at:__ @documentation\/doxygen_docs.h 289:11@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CFloat
) => BG.HasField "data_union_t_as_float" Data_union_t ty where
getField = BG.getUnionPayload
{-| Float representation.
__C declaration:__ @as_float@
__defined at:__ @documentation\/doxygen_docs.h 289:11@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CFloat
) => BG.CompatHasField.HasField "data_union_t_as_float" Data_union_t ty where
hasField =
\x0 ->
(\y1 ->
BG.setUnionPayload y1 x0, BG.getField @"data_union_t_as_float" x0)
instance ( ty ~ BG.CFloat
) => BG.HasField "data_union_t_as_float" (BG.Ptr Data_union_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"data_union_t_as_float")
instance HasCField.HasCField Data_union_t "data_union_t_as_float" where
type CFieldType Data_union_t "data_union_t_as_float" =
BG.CFloat
offset# = \_ -> \_ -> 0
{-| Byte array representation.
__C declaration:__ @as_bytes@
__defined at:__ @documentation\/doxygen_docs.h 290:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ CA.ConstantArray 4 HsBindgen.Runtime.LibC.Word8
) => BG.HasField "data_union_t_as_bytes" Data_union_t ty where
getField = BG.getUnionPayload
{-| Byte array representation.
__C declaration:__ @as_bytes@
__defined at:__ @documentation\/doxygen_docs.h 290:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ CA.ConstantArray 4 HsBindgen.Runtime.LibC.Word8
) => BG.CompatHasField.HasField "data_union_t_as_bytes" Data_union_t ty where
hasField =
\x0 ->
(\y1 ->
BG.setUnionPayload y1 x0, BG.getField @"data_union_t_as_bytes" x0)
instance ( ty ~ CA.ConstantArray 4 HsBindgen.Runtime.LibC.Word8
) => BG.HasField "data_union_t_as_bytes" (BG.Ptr Data_union_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"data_union_t_as_bytes")
instance HasCField.HasCField Data_union_t "data_union_t_as_bytes" where
type CFieldType Data_union_t "data_union_t_as_bytes" =
CA.ConstantArray 4 HsBindgen.Runtime.LibC.Word8
offset# = \_ -> \_ -> 0
{-| Structured representation.
Allows access to high and low parts separately As Parts Struct
__C declaration:__ @as_parts@
__defined at:__ @documentation\/doxygen_docs.h 299:30@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Data_union_t_as_parts
) => BG.HasField "data_union_t_as_parts" Data_union_t ty where
getField = BG.getUnionPayload
{-| Structured representation.
Allows access to high and low parts separately As Parts Struct
__C declaration:__ @as_parts@
__defined at:__ @documentation\/doxygen_docs.h 299:30@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Data_union_t_as_parts
) => BG.CompatHasField.HasField "data_union_t_as_parts" Data_union_t ty where
hasField =
\x0 ->
(\y1 ->
BG.setUnionPayload y1 x0, BG.getField @"data_union_t_as_parts" x0)
instance ( ty ~ Data_union_t_as_parts
) => BG.HasField "data_union_t_as_parts" (BG.Ptr Data_union_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"data_union_t_as_parts")
instance HasCField.HasCField Data_union_t "data_union_t_as_parts" where
type CFieldType Data_union_t "data_union_t_as_parts" =
Data_union_t_as_parts
offset# = \_ -> \_ -> 0
{-| Bit field structure.
Demonstrates bit field documentation.
__C declaration:__ @struct bitfield_t@
__defined at:__ @documentation\/doxygen_docs.h 308:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Bitfield_t = Bitfield_t
{ bitfield_t_flag1 :: BG.CUInt
{- ^ First flag (1 bit).
__C declaration:__ @flag1@
__defined at:__ @documentation\/doxygen_docs.h 309:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, bitfield_t_flag2 :: BG.CUInt
{- ^ Second flag (1 bit).
__C declaration:__ @flag2@
__defined at:__ @documentation\/doxygen_docs.h 310:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, bitfield_t_counter :: BG.CUInt
{- ^ Counter value (6 bits).
__C declaration:__ @counter@
__defined at:__ @documentation\/doxygen_docs.h 311:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, bitfield_t_reserved :: BG.CUInt
{- ^ Reserved bits (24 bits).
__C declaration:__ @reserved@
__defined at:__ @documentation\/doxygen_docs.h 312:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Bitfield_t where
staticSizeOf = \_ -> (4 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Bitfield_t where
readRaw =
\ptr0 ->
pure Bitfield_t
<*> HasCBitfield.peek (BG.Proxy @"bitfield_t_flag1") ptr0
<*> HasCBitfield.peek (BG.Proxy @"bitfield_t_flag2") ptr0
<*> HasCBitfield.peek (BG.Proxy @"bitfield_t_counter") ptr0
<*> HasCBitfield.peek (BG.Proxy @"bitfield_t_reserved") ptr0
instance Marshal.WriteRaw Bitfield_t where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Bitfield_t
bitfield_t_flag12
bitfield_t_flag23
bitfield_t_counter4
bitfield_t_reserved5 ->
HasCBitfield.poke (BG.Proxy @"bitfield_t_flag1") ptr0 bitfield_t_flag12
>> HasCBitfield.poke (BG.Proxy @"bitfield_t_flag2") ptr0 bitfield_t_flag23
>> HasCBitfield.poke (BG.Proxy @"bitfield_t_counter") ptr0 bitfield_t_counter4
>> HasCBitfield.poke (BG.Proxy @"bitfield_t_reserved") ptr0 bitfield_t_reserved5
deriving via Marshal.EquivStorable Bitfield_t instance BG.Storable Bitfield_t
deriving via Struct.IsStructViaReadRaw Bitfield_t instance Struct.IsStruct Bitfield_t
{-| First flag (1 bit).
__C declaration:__ @flag1@
__defined at:__ @documentation\/doxygen_docs.h 309:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CUInt
) => BG.CompatHasField.HasField "bitfield_t_flag1" Bitfield_t ty where
hasField =
\x0 ->
( \y1 ->
Bitfield_t { bitfield_t_flag1 = y1
, bitfield_t_flag2 = BG.getField @"bitfield_t_flag2" x0
, bitfield_t_counter = BG.getField @"bitfield_t_counter" x0
, bitfield_t_reserved = BG.getField @"bitfield_t_reserved" x0
}
, BG.getField @"bitfield_t_flag1" x0
)
instance ( ty ~ BG.CUInt
) => BG.HasField "bitfield_t_flag1" (BG.Ptr Bitfield_t) (BitfieldPtr.BitfieldPtr ty) where
getField =
HasCBitfield.toPtr (BG.Proxy @"bitfield_t_flag1")
instance HasCBitfield.HasCBitfield Bitfield_t "bitfield_t_flag1" where
type CBitfieldType Bitfield_t "bitfield_t_flag1" =
BG.CUInt
bitfieldOffset# = \_ -> \_ -> 0
bitfieldWidth# = \_ -> \_ -> 1
{-| Second flag (1 bit).
__C declaration:__ @flag2@
__defined at:__ @documentation\/doxygen_docs.h 310:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CUInt
) => BG.CompatHasField.HasField "bitfield_t_flag2" Bitfield_t ty where
hasField =
\x0 ->
( \y1 ->
Bitfield_t { bitfield_t_flag2 = y1
, bitfield_t_flag1 = BG.getField @"bitfield_t_flag1" x0
, bitfield_t_counter = BG.getField @"bitfield_t_counter" x0
, bitfield_t_reserved = BG.getField @"bitfield_t_reserved" x0
}
, BG.getField @"bitfield_t_flag2" x0
)
instance ( ty ~ BG.CUInt
) => BG.HasField "bitfield_t_flag2" (BG.Ptr Bitfield_t) (BitfieldPtr.BitfieldPtr ty) where
getField =
HasCBitfield.toPtr (BG.Proxy @"bitfield_t_flag2")
instance HasCBitfield.HasCBitfield Bitfield_t "bitfield_t_flag2" where
type CBitfieldType Bitfield_t "bitfield_t_flag2" =
BG.CUInt
bitfieldOffset# = \_ -> \_ -> 1
bitfieldWidth# = \_ -> \_ -> 1
{-| Counter value (6 bits).
__C declaration:__ @counter@
__defined at:__ @documentation\/doxygen_docs.h 311:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CUInt
) => BG.CompatHasField.HasField "bitfield_t_counter" Bitfield_t ty where
hasField =
\x0 ->
( \y1 ->
Bitfield_t { bitfield_t_counter = y1
, bitfield_t_flag1 = BG.getField @"bitfield_t_flag1" x0
, bitfield_t_flag2 = BG.getField @"bitfield_t_flag2" x0
, bitfield_t_reserved = BG.getField @"bitfield_t_reserved" x0
}
, BG.getField @"bitfield_t_counter" x0
)
instance ( ty ~ BG.CUInt
) => BG.HasField "bitfield_t_counter" (BG.Ptr Bitfield_t) (BitfieldPtr.BitfieldPtr ty) where
getField =
HasCBitfield.toPtr (BG.Proxy @"bitfield_t_counter")
instance HasCBitfield.HasCBitfield Bitfield_t "bitfield_t_counter" where
type CBitfieldType Bitfield_t "bitfield_t_counter" =
BG.CUInt
bitfieldOffset# = \_ -> \_ -> 2
bitfieldWidth# = \_ -> \_ -> 6
{-| Reserved bits (24 bits).
__C declaration:__ @reserved@
__defined at:__ @documentation\/doxygen_docs.h 312:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CUInt
) => BG.CompatHasField.HasField "bitfield_t_reserved" Bitfield_t ty where
hasField =
\x0 ->
( \y1 ->
Bitfield_t { bitfield_t_reserved = y1
, bitfield_t_flag1 = BG.getField @"bitfield_t_flag1" x0
, bitfield_t_flag2 = BG.getField @"bitfield_t_flag2" x0
, bitfield_t_counter = BG.getField @"bitfield_t_counter" x0
}
, BG.getField @"bitfield_t_reserved" x0
)
instance ( ty ~ BG.CUInt
) => BG.HasField "bitfield_t_reserved" (BG.Ptr Bitfield_t) (BitfieldPtr.BitfieldPtr ty) where
getField =
HasCBitfield.toPtr (BG.Proxy @"bitfield_t_reserved")
instance HasCBitfield.HasCBitfield Bitfield_t "bitfield_t_reserved" where
type CBitfieldType Bitfield_t "bitfield_t_reserved" =
BG.CUInt
bitfieldOffset# = \_ -> \_ -> 8
bitfieldWidth# = \_ -> \_ -> 24
{-| Auxiliary type used by 'Processor_fn_t'
__C declaration:__ @processor_fn_t@
__defined at:__ @documentation\/doxygen_docs.h 323:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Processor_fn_t_Aux = Processor_fn_t_Aux
{ unwrapProcessor_fn_t_Aux :: BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt
}
deriving stock (BG.Generic)
-- __unique:__ @toProcessor_fn_t_Aux@
foreign import ccall safe "wrapper" hs_bindgen_d4e16471c82d5df0_base ::
(BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
-> IO (BG.FunPtr (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt))
-- __unique:__ @toProcessor_fn_t_Aux@
hs_bindgen_d4e16471c82d5df0 ::
Processor_fn_t_Aux
-> IO (BG.FunPtr Processor_fn_t_Aux)
hs_bindgen_d4e16471c82d5df0 =
\fun0 ->
fmap BG.castFunPtr (hs_bindgen_d4e16471c82d5df0_base (\x1 ->
\x2 ->
fmap BG.toFFIType (BG.getField @"unwrapProcessor_fn_t_Aux" fun0 (BG.fromFFIType x1) (BG.fromFFIType x2))))
-- __unique:__ @fromProcessor_fn_t_Aux@
foreign import ccall safe "dynamic" hs_bindgen_0d4b3d0461629423_base ::
BG.FunPtr (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
-> BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt
-- __unique:__ @fromProcessor_fn_t_Aux@
hs_bindgen_0d4b3d0461629423 ::
BG.FunPtr Processor_fn_t_Aux
-> Processor_fn_t_Aux
hs_bindgen_0d4b3d0461629423 =
\funPtr0 ->
Processor_fn_t_Aux (\x1 ->
\x2 ->
fmap BG.fromFFIType (hs_bindgen_0d4b3d0461629423_base (BG.castFunPtr funPtr0) (BG.toFFIType x1) (BG.toFFIType x2)))
instance BG.ToFunPtr Processor_fn_t_Aux where
toFunPtr = hs_bindgen_d4e16471c82d5df0
instance BG.FromFunPtr Processor_fn_t_Aux where
fromFunPtr = hs_bindgen_0d4b3d0461629423
instance ( ty ~ (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
) => BG.CompatHasField.HasField "unwrapProcessor_fn_t_Aux" Processor_fn_t_Aux ty where
hasField =
\x0 ->
( \y1 ->
Processor_fn_t_Aux {unwrapProcessor_fn_t_Aux = y1}
, BG.getField @"unwrapProcessor_fn_t_Aux" x0
)
instance ( ty ~ (BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt)
) => BG.HasField "unwrapProcessor_fn_t_Aux" (BG.Ptr Processor_fn_t_Aux) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapProcessor_fn_t_Aux")
instance HasCField.HasCField Processor_fn_t_Aux "unwrapProcessor_fn_t_Aux" where
type CFieldType Processor_fn_t_Aux "unwrapProcessor_fn_t_Aux" =
BG.CInt -> BG.Ptr BG.Void -> IO BG.CInt
offset# = \_ -> \_ -> 0
{-| Function pointer typedef.
[__@input@__]: Input value
[__@context@__]: Context pointer
__Returns:__ Processed value
__C declaration:__ @processor_fn_t@
__defined at:__ @documentation\/doxygen_docs.h 323:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Processor_fn_t = Processor_fn_t
{ unwrapProcessor_fn_t :: BG.FunPtr Processor_fn_t_Aux
}
deriving stock (Eq, BG.Generic, Ord, Show)
deriving newtype
( BG.HasFFIType
, Marshal.ReadRaw
, Marshal.StaticSize
, BG.Storable
, Marshal.WriteRaw
)
instance ( ty ~ BG.FunPtr Processor_fn_t_Aux
) => BG.CompatHasField.HasField "unwrapProcessor_fn_t" Processor_fn_t ty where
hasField =
\x0 ->
( \y1 -> Processor_fn_t {unwrapProcessor_fn_t = y1}
, BG.getField @"unwrapProcessor_fn_t" x0
)
instance ( ty ~ BG.FunPtr Processor_fn_t_Aux
) => BG.HasField "unwrapProcessor_fn_t" (BG.Ptr Processor_fn_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapProcessor_fn_t")
instance HasCField.HasCField Processor_fn_t "unwrapProcessor_fn_t" where
type CFieldType Processor_fn_t "unwrapProcessor_fn_t" =
BG.FunPtr Processor_fn_t_Aux
offset# = \_ -> \_ -> 0
{-| Array typedef with size.
__C declaration:__ @filename_t@
__defined at:__ @documentation\/doxygen_docs.h 329:14@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Filename_t = Filename_t
{ unwrapFilename_t :: CA.ConstantArray 256 BG.CChar
}
deriving stock (Eq, BG.Generic, Show)
deriving newtype
( IsA.IsArray
, Marshal.ReadRaw
, Marshal.StaticSize
, BG.Storable
, Marshal.WriteRaw
)
instance ( ty ~ CA.ConstantArray 256 BG.CChar
) => BG.CompatHasField.HasField "unwrapFilename_t" Filename_t ty where
hasField =
\x0 ->
( \y1 -> Filename_t {unwrapFilename_t = y1}
, BG.getField @"unwrapFilename_t" x0
)
instance ( ty ~ CA.ConstantArray 256 BG.CChar
) => BG.HasField "unwrapFilename_t" (BG.Ptr Filename_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapFilename_t")
instance HasCField.HasCField Filename_t "unwrapFilename_t" where
type CFieldType Filename_t "unwrapFilename_t" =
CA.ConstantArray 256 BG.CChar
offset# = \_ -> \_ -> 0
{-| Structure with flexible array member.
Used for variable-length data buffers.
__C declaration:__ @struct flexible_array@
__defined at:__ @documentation\/doxygen_docs.h 365:8@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Flexible_array_Aux = Flexible_array
{ flexible_array_count :: HsBindgen.Runtime.LibC.CSize
{- ^ Number of elements.
__C declaration:__ @count@
__defined at:__ @documentation\/doxygen_docs.h 366:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Flexible_array_Aux where
staticSizeOf = \_ -> (8 :: Int)
staticAlignment = \_ -> (8 :: Int)
instance Marshal.ReadRaw Flexible_array_Aux where
readRaw =
\ptr0 ->
pure Flexible_array
<*> HasCField.readRaw (BG.Proxy @"flexible_array_count") ptr0
instance Marshal.WriteRaw Flexible_array_Aux where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Flexible_array flexible_array_count2 ->
HasCField.writeRaw (BG.Proxy @"flexible_array_count") ptr0 flexible_array_count2
deriving via Marshal.EquivStorable Flexible_array_Aux instance BG.Storable Flexible_array_Aux
deriving via Struct.IsStructViaReadRaw Flexible_array_Aux instance Struct.IsStruct Flexible_array_Aux
{-| Number of elements.
__C declaration:__ @count@
__defined at:__ @documentation\/doxygen_docs.h 366:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.CompatHasField.HasField "flexible_array_count" Flexible_array_Aux ty where
hasField =
\x0 ->
( \y1 -> Flexible_array {flexible_array_count = y1}
, BG.getField @"flexible_array_count" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.HasField "flexible_array_count" (BG.Ptr Flexible_array_Aux) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"flexible_array_count")
instance HasCField.HasCField Flexible_array_Aux "flexible_array_count" where
type CFieldType Flexible_array_Aux "flexible_array_count" =
HsBindgen.Runtime.LibC.CSize
offset# = \_ -> \_ -> 0
instance FLAM.Offset BG.CInt Flexible_array_Aux where
offset = \_proxy0 -> 8
{-| Structure with flexible array member.
Used for variable-length data buffers.
__C declaration:__ @struct flexible_array@
__defined at:__ @documentation\/doxygen_docs.h 365:8@
__exported by:__ @documentation\/doxygen_docs.h@
-}
type Flexible_array =
FLAM.WithFlam BG.CInt Flexible_array_Aux
{-| Struct with invariant.
__Invariant:__ capacity >= size at all times
__C declaration:__ @struct dyn_array_t@
__defined at:__ @documentation\/doxygen_docs.h 523:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Dyn_array_t = Dyn_array_t
{ dyn_array_t_data :: BG.Ptr BG.CInt
{- ^ Pointer to data.
__C declaration:__ @data@
__defined at:__ @documentation\/doxygen_docs.h 524:10@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, dyn_array_t_size :: HsBindgen.Runtime.LibC.CSize
{- ^ Current number of elements.
__C declaration:__ @size@
__defined at:__ @documentation\/doxygen_docs.h 525:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, dyn_array_t_capacity :: HsBindgen.Runtime.LibC.CSize
{- ^ Allocated capacity.
__C declaration:__ @capacity@
__defined at:__ @documentation\/doxygen_docs.h 526:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Dyn_array_t where
staticSizeOf = \_ -> (24 :: Int)
staticAlignment = \_ -> (8 :: Int)
instance Marshal.ReadRaw Dyn_array_t where
readRaw =
\ptr0 ->
pure Dyn_array_t
<*> HasCField.readRaw (BG.Proxy @"dyn_array_t_data") ptr0
<*> HasCField.readRaw (BG.Proxy @"dyn_array_t_size") ptr0
<*> HasCField.readRaw (BG.Proxy @"dyn_array_t_capacity") ptr0
instance Marshal.WriteRaw Dyn_array_t where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Dyn_array_t dyn_array_t_data2 dyn_array_t_size3 dyn_array_t_capacity4 ->
HasCField.writeRaw (BG.Proxy @"dyn_array_t_data") ptr0 dyn_array_t_data2
>> HasCField.writeRaw (BG.Proxy @"dyn_array_t_size") ptr0 dyn_array_t_size3
>> HasCField.writeRaw (BG.Proxy @"dyn_array_t_capacity") ptr0 dyn_array_t_capacity4
deriving via Marshal.EquivStorable Dyn_array_t instance BG.Storable Dyn_array_t
deriving via Struct.IsStructViaReadRaw Dyn_array_t instance Struct.IsStruct Dyn_array_t
{-| Pointer to data.
__C declaration:__ @data@
__defined at:__ @documentation\/doxygen_docs.h 524:10@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.Ptr BG.CInt
) => BG.CompatHasField.HasField "dyn_array_t_data" Dyn_array_t ty where
hasField =
\x0 ->
( \y1 ->
Dyn_array_t { dyn_array_t_data = y1
, dyn_array_t_size = BG.getField @"dyn_array_t_size" x0
, dyn_array_t_capacity = BG.getField @"dyn_array_t_capacity" x0
}
, BG.getField @"dyn_array_t_data" x0
)
instance ( ty ~ BG.Ptr BG.CInt
) => BG.HasField "dyn_array_t_data" (BG.Ptr Dyn_array_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"dyn_array_t_data")
instance HasCField.HasCField Dyn_array_t "dyn_array_t_data" where
type CFieldType Dyn_array_t "dyn_array_t_data" =
BG.Ptr BG.CInt
offset# = \_ -> \_ -> 0
{-| Current number of elements.
__C declaration:__ @size@
__defined at:__ @documentation\/doxygen_docs.h 525:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.CompatHasField.HasField "dyn_array_t_size" Dyn_array_t ty where
hasField =
\x0 ->
( \y1 ->
Dyn_array_t { dyn_array_t_size = y1
, dyn_array_t_data = BG.getField @"dyn_array_t_data" x0
, dyn_array_t_capacity = BG.getField @"dyn_array_t_capacity" x0
}
, BG.getField @"dyn_array_t_size" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.HasField "dyn_array_t_size" (BG.Ptr Dyn_array_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"dyn_array_t_size")
instance HasCField.HasCField Dyn_array_t "dyn_array_t_size" where
type CFieldType Dyn_array_t "dyn_array_t_size" =
HsBindgen.Runtime.LibC.CSize
offset# = \_ -> \_ -> 8
{-| Allocated capacity.
__C declaration:__ @capacity@
__defined at:__ @documentation\/doxygen_docs.h 526:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.CompatHasField.HasField "dyn_array_t_capacity" Dyn_array_t ty where
hasField =
\x0 ->
( \y1 ->
Dyn_array_t { dyn_array_t_capacity = y1
, dyn_array_t_data = BG.getField @"dyn_array_t_data" x0
, dyn_array_t_size = BG.getField @"dyn_array_t_size" x0
}
, BG.getField @"dyn_array_t_capacity" x0
)
instance ( ty ~ HsBindgen.Runtime.LibC.CSize
) => BG.HasField "dyn_array_t_capacity" (BG.Ptr Dyn_array_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"dyn_array_t_capacity")
instance HasCField.HasCField Dyn_array_t "dyn_array_t_capacity" where
type CFieldType Dyn_array_t "dyn_array_t_capacity" =
HsBindgen.Runtime.LibC.CSize
offset# = \_ -> \_ -> 16
{-| __C declaration:__ @struct \@multi_untagged_t_pos@
__defined at:__ @documentation\/doxygen_docs.h 586:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Multi_untagged_t_pos = Multi_untagged_t_pos
{ multi_untagged_t_pos_x :: BG.CFloat
{- ^ X coordinate.
__C declaration:__ @x@
__defined at:__ @documentation\/doxygen_docs.h 587:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, multi_untagged_t_pos_y :: BG.CFloat
{- ^ Y coordinate.
__C declaration:__ @y@
__defined at:__ @documentation\/doxygen_docs.h 588:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Multi_untagged_t_pos where
staticSizeOf = \_ -> (8 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Multi_untagged_t_pos where
readRaw =
\ptr0 ->
pure Multi_untagged_t_pos
<*> HasCField.readRaw (BG.Proxy @"multi_untagged_t_pos_x") ptr0
<*> HasCField.readRaw (BG.Proxy @"multi_untagged_t_pos_y") ptr0
instance Marshal.WriteRaw Multi_untagged_t_pos where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Multi_untagged_t_pos multi_untagged_t_pos_x2 multi_untagged_t_pos_y3 ->
HasCField.writeRaw (BG.Proxy @"multi_untagged_t_pos_x") ptr0 multi_untagged_t_pos_x2
>> HasCField.writeRaw (BG.Proxy @"multi_untagged_t_pos_y") ptr0 multi_untagged_t_pos_y3
deriving via Marshal.EquivStorable Multi_untagged_t_pos instance BG.Storable Multi_untagged_t_pos
deriving via Struct.IsStructViaReadRaw Multi_untagged_t_pos instance Struct.IsStruct Multi_untagged_t_pos
{-| X coordinate.
__C declaration:__ @x@
__defined at:__ @documentation\/doxygen_docs.h 587:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CFloat
) => BG.CompatHasField.HasField "multi_untagged_t_pos_x" Multi_untagged_t_pos ty where
hasField =
\x0 ->
( \y1 ->
Multi_untagged_t_pos { multi_untagged_t_pos_x = y1
, multi_untagged_t_pos_y = BG.getField @"multi_untagged_t_pos_y" x0
}
, BG.getField @"multi_untagged_t_pos_x" x0
)
instance ( ty ~ BG.CFloat
) => BG.HasField "multi_untagged_t_pos_x" (BG.Ptr Multi_untagged_t_pos) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"multi_untagged_t_pos_x")
instance HasCField.HasCField Multi_untagged_t_pos "multi_untagged_t_pos_x" where
type CFieldType Multi_untagged_t_pos "multi_untagged_t_pos_x" =
BG.CFloat
offset# = \_ -> \_ -> 0
{-| Y coordinate.
__C declaration:__ @y@
__defined at:__ @documentation\/doxygen_docs.h 588:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CFloat
) => BG.CompatHasField.HasField "multi_untagged_t_pos_y" Multi_untagged_t_pos ty where
hasField =
\x0 ->
( \y1 ->
Multi_untagged_t_pos { multi_untagged_t_pos_y = y1
, multi_untagged_t_pos_x = BG.getField @"multi_untagged_t_pos_x" x0
}
, BG.getField @"multi_untagged_t_pos_y" x0
)
instance ( ty ~ BG.CFloat
) => BG.HasField "multi_untagged_t_pos_y" (BG.Ptr Multi_untagged_t_pos) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"multi_untagged_t_pos_y")
instance HasCField.HasCField Multi_untagged_t_pos "multi_untagged_t_pos_y" where
type CFieldType Multi_untagged_t_pos "multi_untagged_t_pos_y" =
BG.CFloat
offset# = \_ -> \_ -> 4
{-| __C declaration:__ @struct \@multi_untagged_t_dim@
__defined at:__ @documentation\/doxygen_docs.h 594:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Multi_untagged_t_dim = Multi_untagged_t_dim
{ multi_untagged_t_dim_w :: BG.CFloat
{- ^ Width.
__C declaration:__ @w@
__defined at:__ @documentation\/doxygen_docs.h 595:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, multi_untagged_t_dim_h :: BG.CFloat
{- ^ Height.
__C declaration:__ @h@
__defined at:__ @documentation\/doxygen_docs.h 596:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Multi_untagged_t_dim where
staticSizeOf = \_ -> (8 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Multi_untagged_t_dim where
readRaw =
\ptr0 ->
pure Multi_untagged_t_dim
<*> HasCField.readRaw (BG.Proxy @"multi_untagged_t_dim_w") ptr0
<*> HasCField.readRaw (BG.Proxy @"multi_untagged_t_dim_h") ptr0
instance Marshal.WriteRaw Multi_untagged_t_dim where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Multi_untagged_t_dim multi_untagged_t_dim_w2 multi_untagged_t_dim_h3 ->
HasCField.writeRaw (BG.Proxy @"multi_untagged_t_dim_w") ptr0 multi_untagged_t_dim_w2
>> HasCField.writeRaw (BG.Proxy @"multi_untagged_t_dim_h") ptr0 multi_untagged_t_dim_h3
deriving via Marshal.EquivStorable Multi_untagged_t_dim instance BG.Storable Multi_untagged_t_dim
deriving via Struct.IsStructViaReadRaw Multi_untagged_t_dim instance Struct.IsStruct Multi_untagged_t_dim
{-| Width.
__C declaration:__ @w@
__defined at:__ @documentation\/doxygen_docs.h 595:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CFloat
) => BG.CompatHasField.HasField "multi_untagged_t_dim_w" Multi_untagged_t_dim ty where
hasField =
\x0 ->
( \y1 ->
Multi_untagged_t_dim { multi_untagged_t_dim_w = y1
, multi_untagged_t_dim_h = BG.getField @"multi_untagged_t_dim_h" x0
}
, BG.getField @"multi_untagged_t_dim_w" x0
)
instance ( ty ~ BG.CFloat
) => BG.HasField "multi_untagged_t_dim_w" (BG.Ptr Multi_untagged_t_dim) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"multi_untagged_t_dim_w")
instance HasCField.HasCField Multi_untagged_t_dim "multi_untagged_t_dim_w" where
type CFieldType Multi_untagged_t_dim "multi_untagged_t_dim_w" =
BG.CFloat
offset# = \_ -> \_ -> 0
{-| Height.
__C declaration:__ @h@
__defined at:__ @documentation\/doxygen_docs.h 596:15@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CFloat
) => BG.CompatHasField.HasField "multi_untagged_t_dim_h" Multi_untagged_t_dim ty where
hasField =
\x0 ->
( \y1 ->
Multi_untagged_t_dim { multi_untagged_t_dim_h = y1
, multi_untagged_t_dim_w = BG.getField @"multi_untagged_t_dim_w" x0
}
, BG.getField @"multi_untagged_t_dim_h" x0
)
instance ( ty ~ BG.CFloat
) => BG.HasField "multi_untagged_t_dim_h" (BG.Ptr Multi_untagged_t_dim) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"multi_untagged_t_dim_h")
instance HasCField.HasCField Multi_untagged_t_dim "multi_untagged_t_dim_h" where
type CFieldType Multi_untagged_t_dim "multi_untagged_t_dim_h" =
BG.CFloat
offset# = \_ -> \_ -> 4
{-| Struct with multiple untagged inner structs.
Tests that doxygen comment enrichment correctly associates field comments with untagged inner structs at multiple nesting levels.
__C declaration:__ @struct multi_untagged_t@
__defined at:__ @documentation\/doxygen_docs.h 582:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Multi_untagged_t = Multi_untagged_t
{ multi_untagged_t_pos :: Multi_untagged_t_pos
{- ^ Position in 2D space.
Position fields
__C declaration:__ @pos@
__defined at:__ @documentation\/doxygen_docs.h 589:30@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, multi_untagged_t_dim :: Multi_untagged_t_dim
{- ^ Dimensions.
Dimension fields
__C declaration:__ @dim@
__defined at:__ @documentation\/doxygen_docs.h 597:31@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Multi_untagged_t where
staticSizeOf = \_ -> (16 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Multi_untagged_t where
readRaw =
\ptr0 ->
pure Multi_untagged_t
<*> HasCField.readRaw (BG.Proxy @"multi_untagged_t_pos") ptr0
<*> HasCField.readRaw (BG.Proxy @"multi_untagged_t_dim") ptr0
instance Marshal.WriteRaw Multi_untagged_t where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Multi_untagged_t multi_untagged_t_pos2 multi_untagged_t_dim3 ->
HasCField.writeRaw (BG.Proxy @"multi_untagged_t_pos") ptr0 multi_untagged_t_pos2
>> HasCField.writeRaw (BG.Proxy @"multi_untagged_t_dim") ptr0 multi_untagged_t_dim3
deriving via Marshal.EquivStorable Multi_untagged_t instance BG.Storable Multi_untagged_t
deriving via Struct.IsStructViaReadRaw Multi_untagged_t instance Struct.IsStruct Multi_untagged_t
{-| Position in 2D space.
Position fields
__C declaration:__ @pos@
__defined at:__ @documentation\/doxygen_docs.h 589:30@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Multi_untagged_t_pos
) => BG.CompatHasField.HasField "multi_untagged_t_pos" Multi_untagged_t ty where
hasField =
\x0 ->
( \y1 ->
Multi_untagged_t { multi_untagged_t_pos = y1
, multi_untagged_t_dim = BG.getField @"multi_untagged_t_dim" x0
}
, BG.getField @"multi_untagged_t_pos" x0
)
instance ( ty ~ Multi_untagged_t_pos
) => BG.HasField "multi_untagged_t_pos" (BG.Ptr Multi_untagged_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"multi_untagged_t_pos")
instance HasCField.HasCField Multi_untagged_t "multi_untagged_t_pos" where
type CFieldType Multi_untagged_t "multi_untagged_t_pos" =
Multi_untagged_t_pos
offset# = \_ -> \_ -> 0
{-| Dimensions.
Dimension fields
__C declaration:__ @dim@
__defined at:__ @documentation\/doxygen_docs.h 597:31@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Multi_untagged_t_dim
) => BG.CompatHasField.HasField "multi_untagged_t_dim" Multi_untagged_t ty where
hasField =
\x0 ->
( \y1 ->
Multi_untagged_t { multi_untagged_t_dim = y1
, multi_untagged_t_pos = BG.getField @"multi_untagged_t_pos" x0
}
, BG.getField @"multi_untagged_t_dim" x0
)
instance ( ty ~ Multi_untagged_t_dim
) => BG.HasField "multi_untagged_t_dim" (BG.Ptr Multi_untagged_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"multi_untagged_t_dim")
instance HasCField.HasCField Multi_untagged_t "multi_untagged_t_dim" where
type CFieldType Multi_untagged_t "multi_untagged_t_dim" =
Multi_untagged_t_dim
offset# = \_ -> \_ -> 8
{-| Named inner struct
__C declaration:__ @struct named_inner@
__defined at:__ @documentation\/doxygen_docs.h 608:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Named_inner = Named_inner
{ named_inner_nx :: BG.CInt
{- ^ Inner field nx
__C declaration:__ @nx@
__defined at:__ @documentation\/doxygen_docs.h 610:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, named_inner_ny :: BG.CInt
{- ^ Inner field ny
__C declaration:__ @ny@
__defined at:__ @documentation\/doxygen_docs.h 612:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Named_inner where
staticSizeOf = \_ -> (8 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Named_inner where
readRaw =
\ptr0 ->
pure Named_inner
<*> HasCField.readRaw (BG.Proxy @"named_inner_nx") ptr0
<*> HasCField.readRaw (BG.Proxy @"named_inner_ny") ptr0
instance Marshal.WriteRaw Named_inner where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Named_inner named_inner_nx2 named_inner_ny3 ->
HasCField.writeRaw (BG.Proxy @"named_inner_nx") ptr0 named_inner_nx2
>> HasCField.writeRaw (BG.Proxy @"named_inner_ny") ptr0 named_inner_ny3
deriving via Marshal.EquivStorable Named_inner instance BG.Storable Named_inner
deriving via Struct.IsStructViaReadRaw Named_inner instance Struct.IsStruct Named_inner
{-| Inner field nx
__C declaration:__ @nx@
__defined at:__ @documentation\/doxygen_docs.h 610:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "named_inner_nx" Named_inner ty where
hasField =
\x0 ->
( \y1 ->
Named_inner {named_inner_nx = y1, named_inner_ny = BG.getField @"named_inner_ny" x0}
, BG.getField @"named_inner_nx" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "named_inner_nx" (BG.Ptr Named_inner) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"named_inner_nx")
instance HasCField.HasCField Named_inner "named_inner_nx" where
type CFieldType Named_inner "named_inner_nx" =
BG.CInt
offset# = \_ -> \_ -> 0
{-| Inner field ny
__C declaration:__ @ny@
__defined at:__ @documentation\/doxygen_docs.h 612:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "named_inner_ny" Named_inner ty where
hasField =
\x0 ->
( \y1 ->
Named_inner {named_inner_ny = y1, named_inner_nx = BG.getField @"named_inner_nx" x0}
, BG.getField @"named_inner_ny" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "named_inner_ny" (BG.Ptr Named_inner) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"named_inner_ny")
instance HasCField.HasCField Named_inner "named_inner_ny" where
type CFieldType Named_inner "named_inner_ny" =
BG.CInt
offset# = \_ -> \_ -> 4
{-| Struct with a named inner struct.
Tests that doxygen comment enrichment uses the qualified name "named_outer::named_inner" for lookups.
__C declaration:__ @struct named_outer@
__defined at:__ @documentation\/doxygen_docs.h 606:8@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Named_outer = Named_outer
{ named_outer_inner_field :: Named_inner
{- ^ __C declaration:__ @inner_field@
__defined at:__ @documentation\/doxygen_docs.h 613:7@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, named_outer_nz :: BG.CInt
{- ^ Outer field nz
__C declaration:__ @nz@
__defined at:__ @documentation\/doxygen_docs.h 615:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Named_outer where
staticSizeOf = \_ -> (12 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Named_outer where
readRaw =
\ptr0 ->
pure Named_outer
<*> HasCField.readRaw (BG.Proxy @"named_outer_inner_field") ptr0
<*> HasCField.readRaw (BG.Proxy @"named_outer_nz") ptr0
instance Marshal.WriteRaw Named_outer where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Named_outer named_outer_inner_field2 named_outer_nz3 ->
HasCField.writeRaw (BG.Proxy @"named_outer_inner_field") ptr0 named_outer_inner_field2
>> HasCField.writeRaw (BG.Proxy @"named_outer_nz") ptr0 named_outer_nz3
deriving via Marshal.EquivStorable Named_outer instance BG.Storable Named_outer
deriving via Struct.IsStructViaReadRaw Named_outer instance Struct.IsStruct Named_outer
{-| __C declaration:__ @inner_field@
__defined at:__ @documentation\/doxygen_docs.h 613:7@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Named_inner
) => BG.CompatHasField.HasField "named_outer_inner_field" Named_outer ty where
hasField =
\x0 ->
( \y1 ->
Named_outer { named_outer_inner_field = y1
, named_outer_nz = BG.getField @"named_outer_nz" x0
}
, BG.getField @"named_outer_inner_field" x0
)
instance ( ty ~ Named_inner
) => BG.HasField "named_outer_inner_field" (BG.Ptr Named_outer) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"named_outer_inner_field")
instance HasCField.HasCField Named_outer "named_outer_inner_field" where
type CFieldType Named_outer "named_outer_inner_field" =
Named_inner
offset# = \_ -> \_ -> 0
{-| Outer field nz
__C declaration:__ @nz@
__defined at:__ @documentation\/doxygen_docs.h 615:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "named_outer_nz" Named_outer ty where
hasField =
\x0 ->
( \y1 ->
Named_outer { named_outer_nz = y1
, named_outer_inner_field = BG.getField @"named_outer_inner_field" x0
}
, BG.getField @"named_outer_nz" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "named_outer_nz" (BG.Ptr Named_outer) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"named_outer_nz")
instance HasCField.HasCField Named_outer "named_outer_nz" where
type CFieldType Named_outer "named_outer_nz" =
BG.CInt
offset# = \_ -> \_ -> 8
{-| __C declaration:__ @struct \@deep_mid_untagged_field@
__defined at:__ @documentation\/doxygen_docs.h 629:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Deep_mid_untagged_field = Deep_mid_untagged_field
{ deep_mid_untagged_field_deep_a :: BG.CInt
{- ^ Deep field
__C declaration:__ @deep_a@
__defined at:__ @documentation\/doxygen_docs.h 631:17@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Deep_mid_untagged_field where
staticSizeOf = \_ -> (4 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Deep_mid_untagged_field where
readRaw =
\ptr0 ->
pure Deep_mid_untagged_field
<*> HasCField.readRaw (BG.Proxy @"deep_mid_untagged_field_deep_a") ptr0
instance Marshal.WriteRaw Deep_mid_untagged_field where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Deep_mid_untagged_field deep_mid_untagged_field_deep_a2 ->
HasCField.writeRaw (BG.Proxy @"deep_mid_untagged_field_deep_a") ptr0 deep_mid_untagged_field_deep_a2
deriving via Marshal.EquivStorable Deep_mid_untagged_field instance BG.Storable Deep_mid_untagged_field
deriving via Struct.IsStructViaReadRaw Deep_mid_untagged_field instance Struct.IsStruct Deep_mid_untagged_field
{-| Deep field
__C declaration:__ @deep_a@
__defined at:__ @documentation\/doxygen_docs.h 631:17@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "deep_mid_untagged_field_deep_a" Deep_mid_untagged_field ty where
hasField =
\x0 ->
( \y1 ->
Deep_mid_untagged_field {deep_mid_untagged_field_deep_a = y1}
, BG.getField @"deep_mid_untagged_field_deep_a" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "deep_mid_untagged_field_deep_a" (BG.Ptr Deep_mid_untagged_field) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"deep_mid_untagged_field_deep_a")
instance HasCField.HasCField Deep_mid_untagged_field "deep_mid_untagged_field_deep_a" where
type CFieldType Deep_mid_untagged_field "deep_mid_untagged_field_deep_a" =
BG.CInt
offset# = \_ -> \_ -> 0
{-| The named mid-level struct
__C declaration:__ @struct deep_mid@
__defined at:__ @documentation\/doxygen_docs.h 625:12@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Deep_mid = Deep_mid
{ deep_mid_m :: BG.CInt
{- ^ Mid-level field
__C declaration:__ @m@
__defined at:__ @documentation\/doxygen_docs.h 627:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, deep_mid_untagged_field :: Deep_mid_untagged_field
{- ^ Untagged struct inside named mid
__C declaration:__ @untagged_field@
__defined at:__ @documentation\/doxygen_docs.h 632:11@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Deep_mid where
staticSizeOf = \_ -> (8 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Deep_mid where
readRaw =
\ptr0 ->
pure Deep_mid
<*> HasCField.readRaw (BG.Proxy @"deep_mid_m") ptr0
<*> HasCField.readRaw (BG.Proxy @"deep_mid_untagged_field") ptr0
instance Marshal.WriteRaw Deep_mid where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Deep_mid deep_mid_m2 deep_mid_untagged_field3 ->
HasCField.writeRaw (BG.Proxy @"deep_mid_m") ptr0 deep_mid_m2
>> HasCField.writeRaw (BG.Proxy @"deep_mid_untagged_field") ptr0 deep_mid_untagged_field3
deriving via Marshal.EquivStorable Deep_mid instance BG.Storable Deep_mid
deriving via Struct.IsStructViaReadRaw Deep_mid instance Struct.IsStruct Deep_mid
{-| Mid-level field
__C declaration:__ @m@
__defined at:__ @documentation\/doxygen_docs.h 627:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "deep_mid_m" Deep_mid ty where
hasField =
\x0 ->
( \y1 ->
Deep_mid { deep_mid_m = y1
, deep_mid_untagged_field = BG.getField @"deep_mid_untagged_field" x0
}
, BG.getField @"deep_mid_m" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "deep_mid_m" (BG.Ptr Deep_mid) (BG.Ptr ty) where
getField = HasCField.fromPtr (BG.Proxy @"deep_mid_m")
instance HasCField.HasCField Deep_mid "deep_mid_m" where
type CFieldType Deep_mid "deep_mid_m" = BG.CInt
offset# = \_ -> \_ -> 0
{-| Untagged struct inside named mid
__C declaration:__ @untagged_field@
__defined at:__ @documentation\/doxygen_docs.h 632:11@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Deep_mid_untagged_field
) => BG.CompatHasField.HasField "deep_mid_untagged_field" Deep_mid ty where
hasField =
\x0 ->
( \y1 ->
Deep_mid {deep_mid_untagged_field = y1, deep_mid_m = BG.getField @"deep_mid_m" x0}
, BG.getField @"deep_mid_untagged_field" x0
)
instance ( ty ~ Deep_mid_untagged_field
) => BG.HasField "deep_mid_untagged_field" (BG.Ptr Deep_mid) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"deep_mid_untagged_field")
instance HasCField.HasCField Deep_mid "deep_mid_untagged_field" where
type CFieldType Deep_mid "deep_mid_untagged_field" =
Deep_mid_untagged_field
offset# = \_ -> \_ -> 4
{-| Deeply nested mix of tagged and untagged structs.
Tests the full genealogy walk through mixed tagged/untagged nesting.
__C declaration:__ @struct deep_outer@
__defined at:__ @documentation\/doxygen_docs.h 623:8@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Deep_outer = Deep_outer
{ deep_outer_mid_field :: Deep_mid
{- ^ __C declaration:__ @mid_field@
__defined at:__ @documentation\/doxygen_docs.h 633:7@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, deep_outer_o :: BG.CInt
{- ^ Outer-only field
__C declaration:__ @o@
__defined at:__ @documentation\/doxygen_docs.h 635:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Deep_outer where
staticSizeOf = \_ -> (12 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Deep_outer where
readRaw =
\ptr0 ->
pure Deep_outer
<*> HasCField.readRaw (BG.Proxy @"deep_outer_mid_field") ptr0
<*> HasCField.readRaw (BG.Proxy @"deep_outer_o") ptr0
instance Marshal.WriteRaw Deep_outer where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Deep_outer deep_outer_mid_field2 deep_outer_o3 ->
HasCField.writeRaw (BG.Proxy @"deep_outer_mid_field") ptr0 deep_outer_mid_field2
>> HasCField.writeRaw (BG.Proxy @"deep_outer_o") ptr0 deep_outer_o3
deriving via Marshal.EquivStorable Deep_outer instance BG.Storable Deep_outer
deriving via Struct.IsStructViaReadRaw Deep_outer instance Struct.IsStruct Deep_outer
{-| __C declaration:__ @mid_field@
__defined at:__ @documentation\/doxygen_docs.h 633:7@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Deep_mid
) => BG.CompatHasField.HasField "deep_outer_mid_field" Deep_outer ty where
hasField =
\x0 ->
( \y1 ->
Deep_outer {deep_outer_mid_field = y1, deep_outer_o = BG.getField @"deep_outer_o" x0}
, BG.getField @"deep_outer_mid_field" x0
)
instance ( ty ~ Deep_mid
) => BG.HasField "deep_outer_mid_field" (BG.Ptr Deep_outer) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"deep_outer_mid_field")
instance HasCField.HasCField Deep_outer "deep_outer_mid_field" where
type CFieldType Deep_outer "deep_outer_mid_field" =
Deep_mid
offset# = \_ -> \_ -> 0
{-| Outer-only field
__C declaration:__ @o@
__defined at:__ @documentation\/doxygen_docs.h 635:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "deep_outer_o" Deep_outer ty where
hasField =
\x0 ->
( \y1 ->
Deep_outer { deep_outer_o = y1
, deep_outer_mid_field = BG.getField @"deep_outer_mid_field" x0
}
, BG.getField @"deep_outer_o" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "deep_outer_o" (BG.Ptr Deep_outer) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"deep_outer_o")
instance HasCField.HasCField Deep_outer "deep_outer_o" where
type CFieldType Deep_outer "deep_outer_o" = BG.CInt
offset# = \_ -> \_ -> 8
{-| __C declaration:__ @struct \@unnamed_field_t_anon\'ua@
__defined at:__ @documentation\/doxygen_docs.h 647:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Unnamed_field_t_anon'ua = Unnamed_field_t_anon'ua
{ unnamed_field_t_anon'ua_ua :: BG.CInt
{- ^ Unnamed inner a
__C declaration:__ @ua@
__defined at:__ @documentation\/doxygen_docs.h 649:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, unnamed_field_t_anon'ua_ub :: BG.CInt
{- ^ Unnamed inner b
__C declaration:__ @ub@
__defined at:__ @documentation\/doxygen_docs.h 651:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Unnamed_field_t_anon'ua where
staticSizeOf = \_ -> (8 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Unnamed_field_t_anon'ua where
readRaw =
\ptr0 ->
pure Unnamed_field_t_anon'ua
<*> HasCField.readRaw (BG.Proxy @"unnamed_field_t_anon'ua_ua") ptr0
<*> HasCField.readRaw (BG.Proxy @"unnamed_field_t_anon'ua_ub") ptr0
instance Marshal.WriteRaw Unnamed_field_t_anon'ua where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Unnamed_field_t_anon'ua
unnamed_field_t_anon'ua_ua2
unnamed_field_t_anon'ua_ub3 ->
HasCField.writeRaw (BG.Proxy @"unnamed_field_t_anon'ua_ua") ptr0 unnamed_field_t_anon'ua_ua2
>> HasCField.writeRaw (BG.Proxy @"unnamed_field_t_anon'ua_ub") ptr0 unnamed_field_t_anon'ua_ub3
deriving via Marshal.EquivStorable Unnamed_field_t_anon'ua instance BG.Storable Unnamed_field_t_anon'ua
deriving via Struct.IsStructViaReadRaw Unnamed_field_t_anon'ua instance Struct.IsStruct Unnamed_field_t_anon'ua
{-| Unnamed inner a
__C declaration:__ @ua@
__defined at:__ @documentation\/doxygen_docs.h 649:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unnamed_field_t_anon'ua_ua" Unnamed_field_t_anon'ua ty where
hasField =
\x0 ->
( \y1 ->
Unnamed_field_t_anon'ua { unnamed_field_t_anon'ua_ua = y1
, unnamed_field_t_anon'ua_ub = BG.getField @"unnamed_field_t_anon'ua_ub" x0
}
, BG.getField @"unnamed_field_t_anon'ua_ua" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_anon'ua_ua" (BG.Ptr Unnamed_field_t_anon'ua) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_anon'ua_ua")
instance HasCField.HasCField Unnamed_field_t_anon'ua "unnamed_field_t_anon'ua_ua" where
type CFieldType Unnamed_field_t_anon'ua "unnamed_field_t_anon'ua_ua" =
BG.CInt
offset# = \_ -> \_ -> 0
{-| Unnamed inner b
__C declaration:__ @ub@
__defined at:__ @documentation\/doxygen_docs.h 651:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unnamed_field_t_anon'ua_ub" Unnamed_field_t_anon'ua ty where
hasField =
\x0 ->
( \y1 ->
Unnamed_field_t_anon'ua { unnamed_field_t_anon'ua_ub = y1
, unnamed_field_t_anon'ua_ua = BG.getField @"unnamed_field_t_anon'ua_ua" x0
}
, BG.getField @"unnamed_field_t_anon'ua_ub" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_anon'ua_ub" (BG.Ptr Unnamed_field_t_anon'ua) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_anon'ua_ub")
instance HasCField.HasCField Unnamed_field_t_anon'ua "unnamed_field_t_anon'ua_ub" where
type CFieldType Unnamed_field_t_anon'ua "unnamed_field_t_anon'ua_ub" =
BG.CInt
offset# = \_ -> \_ -> 4
{-| Struct with anonymous struct.
Tests the case where the inner struct is anonymous: no struct tag and no field name. The inner fields are flattened directly into the parent.
__C declaration:__ @struct unnamed_field_t@
__defined at:__ @documentation\/doxygen_docs.h 644:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
data Unnamed_field_t = Unnamed_field_t
{ unnamed_field_t_before :: BG.CInt
{- ^ Before field
__C declaration:__ @before@
__defined at:__ @documentation\/doxygen_docs.h 646:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, unnamed_field_t_anon'ua :: Unnamed_field_t_anon'ua
{- ^ __C declaration:__ @anon\'ua@
__defined at:__ @documentation\/doxygen_docs.h 647:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
, unnamed_field_t_after :: BG.CInt
{- ^ After field
__C declaration:__ @after@
__defined at:__ @documentation\/doxygen_docs.h 654:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
}
deriving stock (Eq, BG.Generic, Show)
instance Marshal.StaticSize Unnamed_field_t where
staticSizeOf = \_ -> (16 :: Int)
staticAlignment = \_ -> (4 :: Int)
instance Marshal.ReadRaw Unnamed_field_t where
readRaw =
\ptr0 ->
pure Unnamed_field_t
<*> HasCField.readRaw (BG.Proxy @"unnamed_field_t_before") ptr0
<*> HasCField.readRaw (BG.Proxy @"unnamed_field_t_anon'ua") ptr0
<*> HasCField.readRaw (BG.Proxy @"unnamed_field_t_after") ptr0
instance Marshal.WriteRaw Unnamed_field_t where
writeRaw =
\ptr0 ->
\s1 ->
case s1 of
Unnamed_field_t
unnamed_field_t_before2
unnamed_field_t_anon'ua3
unnamed_field_t_after4 ->
HasCField.writeRaw (BG.Proxy @"unnamed_field_t_before") ptr0 unnamed_field_t_before2
>> HasCField.writeRaw (BG.Proxy @"unnamed_field_t_anon'ua") ptr0 unnamed_field_t_anon'ua3
>> HasCField.writeRaw (BG.Proxy @"unnamed_field_t_after") ptr0 unnamed_field_t_after4
deriving via Marshal.EquivStorable Unnamed_field_t instance BG.Storable Unnamed_field_t
deriving via Struct.IsStructViaReadRaw Unnamed_field_t instance Struct.IsStruct Unnamed_field_t
{-| Before field
__C declaration:__ @before@
__defined at:__ @documentation\/doxygen_docs.h 646:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unnamed_field_t_before" Unnamed_field_t ty where
hasField =
\x0 ->
( \y1 ->
Unnamed_field_t { unnamed_field_t_before = y1
, unnamed_field_t_anon'ua = BG.getField @"unnamed_field_t_anon'ua" x0
, unnamed_field_t_after = BG.getField @"unnamed_field_t_after" x0
}
, BG.getField @"unnamed_field_t_before" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_before" (BG.Ptr Unnamed_field_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_before")
instance HasCField.HasCField Unnamed_field_t "unnamed_field_t_before" where
type CFieldType Unnamed_field_t "unnamed_field_t_before" =
BG.CInt
offset# = \_ -> \_ -> 0
{-| __C declaration:__ @anon\'ua@
__defined at:__ @documentation\/doxygen_docs.h 647:5@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ Unnamed_field_t_anon'ua
) => BG.CompatHasField.HasField "unnamed_field_t_anon'ua" Unnamed_field_t ty where
hasField =
\x0 ->
( \y1 ->
Unnamed_field_t { unnamed_field_t_anon'ua = y1
, unnamed_field_t_before = BG.getField @"unnamed_field_t_before" x0
, unnamed_field_t_after = BG.getField @"unnamed_field_t_after" x0
}
, BG.getField @"unnamed_field_t_anon'ua" x0
)
instance ( ty ~ Unnamed_field_t_anon'ua
) => BG.HasField "unnamed_field_t_anon'ua" (BG.Ptr Unnamed_field_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_anon'ua")
instance HasCField.HasCField Unnamed_field_t "unnamed_field_t_anon'ua" where
type CFieldType Unnamed_field_t "unnamed_field_t_anon'ua" =
Unnamed_field_t_anon'ua
offset# = \_ -> \_ -> 4
{-| Unnamed inner a
__C declaration:__ @ua@
__defined at:__ @documentation\/doxygen_docs.h 649:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_ua" Unnamed_field_t ty where
getField =
\x0 ->
BG.getField @"unnamed_field_t_anon'ua_ua" (BG.getField @"unnamed_field_t_anon'ua" x0)
{-| Unnamed inner a
__C declaration:__ @ua@
__defined at:__ @documentation\/doxygen_docs.h 649:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unnamed_field_t_ua" Unnamed_field_t ty where
hasField =
\x0 ->
( \y1 ->
BG.CompatHasField.modifyField @"unnamed_field_t_anon'ua" x0 (\z2 ->
BG.CompatHasField.setField @"unnamed_field_t_anon'ua_ua" z2 y1)
, BG.getField @"unnamed_field_t_ua" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_ua" (BG.Ptr Unnamed_field_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_ua")
instance HasCField.HasCField Unnamed_field_t "unnamed_field_t_ua" where
type CFieldType Unnamed_field_t "unnamed_field_t_ua" =
BG.CInt
offset# = \_ -> \_ -> 4
{-| Unnamed inner b
__C declaration:__ @ub@
__defined at:__ @documentation\/doxygen_docs.h 651:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_ub" Unnamed_field_t ty where
getField =
\x0 ->
BG.getField @"unnamed_field_t_anon'ua_ub" (BG.getField @"unnamed_field_t_anon'ua" x0)
{-| Unnamed inner b
__C declaration:__ @ub@
__defined at:__ @documentation\/doxygen_docs.h 651:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unnamed_field_t_ub" Unnamed_field_t ty where
hasField =
\x0 ->
( \y1 ->
BG.CompatHasField.modifyField @"unnamed_field_t_anon'ua" x0 (\z2 ->
BG.CompatHasField.setField @"unnamed_field_t_anon'ua_ub" z2 y1)
, BG.getField @"unnamed_field_t_ub" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_ub" (BG.Ptr Unnamed_field_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_ub")
instance HasCField.HasCField Unnamed_field_t "unnamed_field_t_ub" where
type CFieldType Unnamed_field_t "unnamed_field_t_ub" =
BG.CInt
offset# = \_ -> \_ -> 8
{-| After field
__C declaration:__ @after@
__defined at:__ @documentation\/doxygen_docs.h 654:9@
__exported by:__ @documentation\/doxygen_docs.h@
-}
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unnamed_field_t_after" Unnamed_field_t ty where
hasField =
\x0 ->
( \y1 ->
Unnamed_field_t { unnamed_field_t_after = y1
, unnamed_field_t_before = BG.getField @"unnamed_field_t_before" x0
, unnamed_field_t_anon'ua = BG.getField @"unnamed_field_t_anon'ua" x0
}
, BG.getField @"unnamed_field_t_after" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unnamed_field_t_after" (BG.Ptr Unnamed_field_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unnamed_field_t_after")
instance HasCField.HasCField Unnamed_field_t "unnamed_field_t_after" where
type CFieldType Unnamed_field_t "unnamed_field_t_after" =
BG.CInt
offset# = \_ -> \_ -> 12
{-| API version number (not in any group).
__C declaration:__ @api_version_t@
__defined at:__ @documentation\/doxygen_docs.h 662:13@
__exported by:__ @documentation\/doxygen_docs.h@
-}
newtype Api_version_t = Api_version_t
{ unwrapApi_version_t :: BG.CInt
}
deriving stock (Eq, BG.Generic, Ord, Read, Show)
deriving newtype
( BG.Bitfield
, BG.Bits
, Bounded
, Enum
, BG.FiniteBits
, BG.HasFFIType
, Integral
, BG.Ix
, Num
, BG.Prim
, Marshal.ReadRaw
, Real
, Marshal.StaticSize
, BG.Storable
, Marshal.WriteRaw
)
instance ( ty ~ BG.CInt
) => BG.CompatHasField.HasField "unwrapApi_version_t" Api_version_t ty where
hasField =
\x0 ->
( \y1 -> Api_version_t {unwrapApi_version_t = y1}
, BG.getField @"unwrapApi_version_t" x0
)
instance ( ty ~ BG.CInt
) => BG.HasField "unwrapApi_version_t" (BG.Ptr Api_version_t) (BG.Ptr ty) where
getField =
HasCField.fromPtr (BG.Proxy @"unwrapApi_version_t")
instance HasCField.HasCField Api_version_t "unwrapApi_version_t" where
type CFieldType Api_version_t "unwrapApi_version_t" =
BG.CInt
offset# = \_ -> \_ -> 0