chalmers-lava2000-1.3: Hardware description library
Lava.Ref
data Ref a Source
Instances
ref :: a -> Ref aSource
deref :: Ref a -> aSource
memoRef :: (Ref a -> b) -> Ref a -> bSource
data TableIO a b Source
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
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