IdrisDoc: Data.Storable

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 ()