IdrisDoc
: Data.Storable
Index
Data.Storable
interface
Storable
sizeOf
:
Storable
a
=>
a
->
Int
alignOf
:
Storable
a
=>
a
->
Int
peek
:
Storable
a
=>
Ptr
->
Int
->
IO
a
poke
:
Storable
a
=>
Ptr
->
Int
->
a
->
IO
()