Hardware Monad Interface (work in progress)ContentsIndex
H.Mutable
Description
Mutable data
Synopsis
type Ref = IORef
type HArray = IOArray
type HUArray = IOUArray
newRef :: a -> H (Ref a)
modifyRef :: Ref a -> (a -> a) -> H ()
readRef :: Ref a -> H a
writeRef :: Ref a -> a -> H ()
newArray :: (MArray a b IO, Ix c) => (c, c) -> b -> H (a c b)
readArray :: (MArray a b IO, Ix c) => a c b -> c -> H b
writeArray :: (MArray a b IO, Ix c) => a c b -> c -> b -> H ()
data H a
Documentation
type Ref = IORef
type HArray = IOArray
type HUArray = IOUArray
newRef :: a -> H (Ref a)
modifyRef :: Ref a -> (a -> a) -> H ()
readRef :: Ref a -> H a
writeRef :: Ref a -> a -> H ()
newArray :: (MArray a b IO, Ix c) => (c, c) -> b -> H (a c b)
readArray :: (MArray a b IO, Ix c) => a c b -> c -> H b
writeArray :: (MArray a b IO, Ix c) => a c b -> c -> b -> H ()
data H a
The Hardware Monad
Instances
Functor H
Monad H
LiftH H
Produced by Haddock version 0.6