Foreign.C.Struct

STRUCT

struct :: StrName -> StrSize -> StrAlgn -> [(MemName, MemType, MemPeek, MemPoke)] -> [DerivClass] -> DecsQ

Example

 struct "Foo" ${size Foo} #{alignment Foo}
	[	("x", ''CInt, [| #{peek Foo, x} |], [| #{poke Foo, x} |]),
		("y", ''CInt, [| #{peek Foo, y} |], [| #{poke Foo, y} |]) ]
	[''Show, ''Read, ''Eq, ''Ord, ''Bounded, ''Storable]
 

type StrName = String

type StrSize = Integer

type StrAlgn = Integer

type MemName = String

type MemType = Name

type MemPeek = ExpQ

type MemPoke = ExpQ

type DerivClass = Name

STRUCT WITH PRIMITIVE MONAD

structPrim :: StrName -> FunCopy -> FunFree -> [DerivClass] -> DecsQ

Example

foreign import ccall "foo_copy" c_foo_copy :: Ptr Foo -> IO (Ptr Foo)
foreign import ccall "foo_free" c_foo_free :: Ptr Foo -> IO ()

structPrim Foo 'c_foo_copy 'c_foo_free [''Show]

type FunCopy = Name

type FunFree = Name