Lava.Ref

Documentation

data Ref a

Instances

Eq (Ref a)

Show a => Show (Ref a)

ref :: a -> Ref a

deref :: Ref a -> a

memoRef :: (Ref a -> b) -> Ref a -> b

data TableIO a b

Instances

Eq (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

Instances

Eq (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