Control.Monad.Atom

Documentation

class Monad m => MonadAtom m where

Methods

toAtom :: Binary a => a -> m Int

Monadically convert the argument into an atom (represented as an Int)

maybeToAtom :: Binary a => a -> m (Maybe Int)

Monadically convert the argument into an atom, but only if the corresponding atom has already been created

fromAtom :: Binary a => Int -> m a

Monadically convert an atom represented as an Int to its corresponding object

Instances

MonadAtom Atom

Monad m => MonadAtom (AtomT m)

data AtomTable

Instances

Binary AtomTable

data Atom r

Instances

Monad Atom

Functor Atom

MonadAtom Atom

data AtomT m r

Instances

MonadTrans AtomT

Monad m => Monad (AtomT m)

Functor m => Functor (AtomT m)

MonadIO m => MonadIO (AtomT m)

Monad m => MonadAtom (AtomT m)

empty :: AtomTable

evalAtom :: Atom t -> t

evalAtomT :: Monad m => AtomT m a -> m a

runAtom :: Atom t -> AtomTable -> (t, AtomTable)

runAtomT :: AtomT t t1 -> AtomTable -> t (t1, AtomTable)

atoms :: AtomTable -> [Int]

The list of atoms (as Ints) stored in the atom table