Foreign.Storable.HeteroList

SIZE AND ALIGNMENT

wholeSize :: forall as. SizeAlignmentList as => Int

sizeAlignments :: forall as. SizeAlignmentList as => [(Int, Int)]

infixOffsetSize :: forall (part :: [Type]) (whole :: [Type]). InfixOffsetSize part whole => (Offset, Size)

class SizeAlignmentList ts

Minimal complete definition

sizeAlignmentList

Instances

SizeAlignmentList ('[] :: [Type])

Defined in Foreign.Storable.HeteroList

Methods

sizeAlignmentList :: PL SizeAlignmentOfType '[]

(Sizable t, SizeAlignmentList ts) => SizeAlignmentList (t ': ts)

Defined in Foreign.Storable.HeteroList

Methods

sizeAlignmentList :: PL SizeAlignmentOfType (t ': ts)

class SizeAlignmentList whole => InfixOffsetSize (part :: [Type]) whole

Minimal complete definition

infixOffsetSizeFromSizeAlignmentList

Instances

(Sizable t, InfixOffsetSize ts whole) => InfixOffsetSize ts (t ': whole)

Defined in Foreign.Storable.HeteroList

Methods

infixOffsetSizeFromSizeAlignmentList :: Size -> PL SizeAlignmentOfType (t ': whole) -> (Offset, Size)

(Sizable t, SizeAlignmentList whole, PrefixSize (t ': ts) (t ': whole)) => InfixOffsetSize (t ': ts) (t ': whole)

Defined in Foreign.Storable.HeteroList

Methods

infixOffsetSizeFromSizeAlignmentList :: Size -> PL SizeAlignmentOfType (t ': whole) -> (Offset, Size)

class PrefixSize (part :: [Type]) whole

Minimal complete definition

prefixSizeFromSizeAlignmentList

Instances

PrefixSize ('[] :: [Type]) whole

Defined in Foreign.Storable.HeteroList

Methods

prefixSizeFromSizeAlignmentList :: Size -> PL SizeAlignmentOfType whole -> Size

PrefixSize ts whole => PrefixSize (t ': ts) (t ': whole)

Defined in Foreign.Storable.HeteroList

Methods

prefixSizeFromSizeAlignmentList :: Size -> PL SizeAlignmentOfType (t ': whole) -> Size

POKABLE

class SizeAlignmentList as => PokableList (as :: [Type]) where

Methods

pokeList :: Ptr x -> L as -> IO ()

Instances

PokableList ('[] :: [Type])

Defined in Foreign.Storable.HeteroList

Methods

pokeList :: Ptr x -> L '[] -> IO ()

(Pokable a, PokableList as) => PokableList (a ': as)

Defined in Foreign.Storable.HeteroList

Methods

pokeList :: Ptr x -> L (a ': as) -> IO ()