chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Ref
data Ref a #
Instances
Methods
(==) :: Ref a -> Ref a -> Bool #
(/=) :: Ref a -> Ref a -> Bool #
showsPrec :: Int -> Ref a -> ShowS #
show :: Ref a -> String #
showList :: [Ref a] -> ShowS #
ref :: a -> Ref a #
deref :: Ref a -> a #
memoRef :: (Ref a -> b) -> Ref a -> b #
data TableIO a b #
(==) :: TableIO a b -> TableIO a b -> Bool #
(/=) :: TableIO a b -> TableIO a b -> Bool #
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 #
(==) :: TableST s a b -> TableST s a b -> Bool #
(/=) :: TableST s a b -> TableST s a b -> Bool #
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 #