| ||||
| ||||
Documentation | ||||
data Ref a | ||||
| ||||
ref :: a -> Ref a | ||||
deref :: Ref a -> a | ||||
memoRef :: (Ref a -> b) -> Ref a -> b | ||||
data TableIO a b | ||||
| ||||
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 :: 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 | ||||
Produced by Haddock version 2.6.0 |