Hardware Monad Interface (work in progress)ContentsIndex
H.MemRegion
Contents
Deprecated
Description
Memory regions for memory-mapped IO and other reserved memory (section 3.4 in the paper)
Synopsis
data H a
data MemRegion
type Offset = Word32
type Size = Word32
createRegion :: Ptr Word8 -> Offset -> MemRegion
regionSize :: MemRegion -> Offset
pokeByteOff :: Storable a => MemRegion -> Offset -> a -> H ()
peekByteOff :: Storable a => MemRegion -> Offset -> H a
pokeElemOff :: Storable a => MemRegion -> Offset -> a -> H ()
peekElemOff :: Storable a => MemRegion -> Offset -> H a
moveBytes :: MemRegion -> Offset -> MemRegion -> Offset -> Size -> H ()
copyArray :: Storable a => MemRegion -> Offset -> Ptr a -> Size -> H ()
uncheckedPokeElemOff :: Storable a => MemRegion -> Offset -> a -> H ()
data SafePtr a
safePtr :: Storable a => MemRegion -> Offset -> H (SafePtr a)
peek :: Storable a => SafePtr a -> H a
poke :: Storable a => SafePtr a -> a -> H ()
pokeByteIntOff :: Storable a => MemRegion -> Int -> a -> H ()
peekByteIntOff :: Storable a => MemRegion -> Int -> H a
pokeElemIntOff :: Storable a => MemRegion -> Int -> a -> H ()
peekElemIntOff :: Storable a => MemRegion -> Int -> H a
Documentation
data H a
The Hardware Monad
Instances
Functor H
Monad H
LiftH H
data MemRegion
Instances
Show MemRegion
type Offset = Word32
type Size = Word32
createRegion :: Ptr Word8 -> Offset -> MemRegion
regionSize :: MemRegion -> Offset
pokeByteOff :: Storable a => MemRegion -> Offset -> a -> H ()
peekByteOff :: Storable a => MemRegion -> Offset -> H a
pokeElemOff :: Storable a => MemRegion -> Offset -> a -> H ()
peekElemOff :: Storable a => MemRegion -> Offset -> H a
moveBytes :: MemRegion -> Offset -> MemRegion -> Offset -> Size -> H ()
copyArray :: Storable a => MemRegion -> Offset -> Ptr a -> Size -> H ()
uncheckedPokeElemOff :: Storable a => MemRegion -> Offset -> a -> H ()
data SafePtr a
safePtr :: Storable a => MemRegion -> Offset -> H (SafePtr a)
peek :: Storable a => SafePtr a -> H a
poke :: Storable a => SafePtr a -> a -> H ()
Deprecated
pokeByteIntOff :: Storable a => MemRegion -> Int -> a -> H ()
peekByteIntOff :: Storable a => MemRegion -> Int -> H a
pokeElemIntOff :: Storable a => MemRegion -> Int -> a -> H ()
peekElemIntOff :: Storable a => MemRegion -> Int -> H a
Produced by Haddock version 0.6