chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Ref
data Ref a Source #
Defined in Lava.Ref
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 Source #
deref :: Ref a -> a Source #
memoRef :: (Ref a -> b) -> Ref a -> b Source #
data TableIO a b Source #
(==) :: TableIO a b -> TableIO a b -> Bool
(/=) :: TableIO a b -> TableIO a b -> Bool
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 b Source #
data TableST s a b Source #
(==) :: 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) 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 b Source #