Foreign.Storable.Generic

Generic Storable class

class GStorable f where

Generic Storable class

Minimal complete definition

gsizeOf, gpeek, gpoke

Methods

gsizeOf :: f a -> Int

galignment :: f a -> Int

gpeek :: Ptr (f a) -> IO (f a)

gpeekByteOff :: Ptr (f a) -> Int -> IO (f a)

gpeekElemOff :: Ptr (f a) -> Int -> IO (f a)

gpoke :: Ptr (f a) -> f a -> IO ()

gpokeByteOff :: Ptr (f a) -> Int -> f a -> IO ()

gpokeElemOff :: Ptr (f a) -> Int -> f a -> IO ()

Instances

GStorable (U1 *)

Methods

gsizeOf :: U1 * a -> Int

galignment :: U1 * a -> Int

gpeek :: Ptr (U1 * a) -> IO (U1 * a)

gpeekByteOff :: Ptr (U1 * a) -> Int -> IO (U1 * a)

gpeekElemOff :: Ptr (U1 * a) -> Int -> IO (U1 * a)

gpoke :: Ptr (U1 * a) -> U1 * a -> IO ()

gpokeByteOff :: Ptr (U1 * a) -> Int -> U1 * a -> IO ()

gpokeElemOff :: Ptr (U1 * a) -> Int -> U1 * a -> IO ()

Storable a => GStorable (K1 * i a)

Methods

gsizeOf :: K1 * i a a -> Int

galignment :: K1 * i a a -> Int

gpeek :: Ptr (K1 * i a a) -> IO (K1 * i a a)

gpeekByteOff :: Ptr (K1 * i a a) -> Int -> IO (K1 * i a a)

gpeekElemOff :: Ptr (K1 * i a a) -> Int -> IO (K1 * i a a)

gpoke :: Ptr (K1 * i a a) -> K1 * i a a -> IO ()

gpokeByteOff :: Ptr (K1 * i a a) -> Int -> K1 * i a a -> IO ()

gpokeElemOff :: Ptr (K1 * i a a) -> Int -> K1 * i a a -> IO ()

(GStorable a, GStorable b) => GStorable ((:+:) * a b)

Methods

gsizeOf :: (* :+: a) b a -> Int

galignment :: (* :+: a) b a -> Int

gpeek :: Ptr ((* :+: a) b a) -> IO ((* :+: a) b a)

gpeekByteOff :: Ptr ((* :+: a) b a) -> Int -> IO ((* :+: a) b a)

gpeekElemOff :: Ptr ((* :+: a) b a) -> Int -> IO ((* :+: a) b a)

gpoke :: Ptr ((* :+: a) b a) -> (* :+: a) b a -> IO ()

gpokeByteOff :: Ptr ((* :+: a) b a) -> Int -> (* :+: a) b a -> IO ()

gpokeElemOff :: Ptr ((* :+: a) b a) -> Int -> (* :+: a) b a -> IO ()

(GStorable a, GStorable b) => GStorable ((:*:) * a b)

Methods

gsizeOf :: (* :*: a) b a -> Int

galignment :: (* :*: a) b a -> Int

gpeek :: Ptr ((* :*: a) b a) -> IO ((* :*: a) b a)

gpeekByteOff :: Ptr ((* :*: a) b a) -> Int -> IO ((* :*: a) b a)

gpeekElemOff :: Ptr ((* :*: a) b a) -> Int -> IO ((* :*: a) b a)

gpoke :: Ptr ((* :*: a) b a) -> (* :*: a) b a -> IO ()

gpokeByteOff :: Ptr ((* :*: a) b a) -> Int -> (* :*: a) b a -> IO ()

gpokeElemOff :: Ptr ((* :*: a) b a) -> Int -> (* :*: a) b a -> IO ()

GStorable a => GStorable (M1 * i c a)

Methods

gsizeOf :: M1 * i c a a -> Int

galignment :: M1 * i c a a -> Int

gpeek :: Ptr (M1 * i c a a) -> IO (M1 * i c a a)

gpeekByteOff :: Ptr (M1 * i c a a) -> Int -> IO (M1 * i c a a)

gpeekElemOff :: Ptr (M1 * i c a a) -> Int -> IO (M1 * i c a a)

gpoke :: Ptr (M1 * i c a a) -> M1 * i c a a -> IO ()

gpokeByteOff :: Ptr (M1 * i c a a) -> Int -> M1 * i c a a -> IO ()

gpokeElemOff :: Ptr (M1 * i c a a) -> Int -> M1 * i c a a -> IO ()

Default functions

sizeOfDefault :: (Generic a, GStorable (Rep a)) => a -> Int

alignmentDefault :: (Generic a, GStorable (Rep a)) => a -> Int

peekDefault :: (Generic a, GStorable (Rep a)) => Ptr a -> IO a

peekByteOffDefault :: (Generic a, GStorable (Rep a)) => Ptr a -> Int -> IO a

peekElemOffDefault :: (Generic a, GStorable (Rep a)) => Ptr a -> Int -> IO a

pokeDefault :: (Generic a, GStorable (Rep a)) => Ptr a -> a -> IO ()

pokeByteOffDefault :: (Generic a, GStorable (Rep a)) => Ptr a -> Int -> a -> IO ()

pokeElemOffDefault :: (Generic a, GStorable (Rep a)) => Ptr a -> Int -> a -> IO ()

Wrapper

newtype StorableWrapper a

Constructors

StorableWrapper

Fields

• unStorableWrapper :: a

Instances

(Generic a, GStorable (Rep a)) => Storable (StorableWrapper a)

Methods

sizeOf :: StorableWrapper a -> Int

alignment :: StorableWrapper a -> Int

peekElemOff :: Ptr (StorableWrapper a) -> Int -> IO (StorableWrapper a)

pokeElemOff :: Ptr (StorableWrapper a) -> Int -> StorableWrapper a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (StorableWrapper a)

pokeByteOff :: Ptr b -> Int -> StorableWrapper a -> IO ()

peek :: Ptr (StorableWrapper a) -> IO (StorableWrapper a)

poke :: Ptr (StorableWrapper a) -> StorableWrapper a -> IO ()