chalmers-lava2000-1.1.1: Hardware description libraryContentsIndex
Lava.Ref
Documentation
data Ref a
show/hide Instances
Eq (Ref a)
Show a => Show (Ref a)
ref :: a -> Ref a
deref :: Ref a -> a
memoRef :: (Ref a -> b) -> Ref a -> b
data TableIO a b
show/hide Instances
Eq (TableIO a b)
tableIO :: IO (TableIO a b)
extendIO :: TableIO a b -> Ref a -> b -> IO ()
findIO :: TableIO a b -> Ref a -> IO (Maybe b)
memoRefIO :: (Ref a -> IO b) -> Ref a -> IO b
data TableST s a b
show/hide Instances
Eq (TableST s a b)
tableST :: ST s (TableST s a b)
extendST :: TableST s a b -> Ref a -> b -> ST s ()
findST :: TableST s a b -> Ref a -> ST s (Maybe b)
memoRefST :: (Ref a -> ST s b) -> Ref a -> ST s b
Produced by Haddock version 2.6.0