chalmers-lava2000-1.3: Hardware description library

Safe HaskellNone

Lava.Ref

Documentation

data Ref a Source

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

Instances

Eq (TableIO a b) 

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

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