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