Data.C.Deref

Definitions

interface Deref : Type -> Type

Parameters: a
Methods:

deref : AnyPtr -> IO a

Implementations:

Deref Bits8

Deref Bits16

Deref Bits32

Deref Bits64

Deref Int8

Deref Int16

Deref Int32

Deref Int64

Deref String

Deref (Maybe String)

Deref AnyPtr

deref : Deref a => AnyPtr -> IO a

Totality: total
Visibility: public export

interface SetPtr : Type -> Type

Parameters: a
Methods:

setPtr : AnyPtr -> a -> IO ()

Implementations:

SetPtr Bits8

SetPtr Bits16

SetPtr Bits32

SetPtr Bits64

SetPtr Int8

SetPtr Int16

SetPtr Int32

SetPtr Int64

SetPtr String

SetPtr (Maybe String)

SetPtr AnyPtr

setPtr : SetPtr a => AnyPtr -> a -> IO ()

Totality: total
Visibility: public export