Safe Haskell | None |
---|
The Atom monad provides functions which convert objects to unique atoms (represented as Ints). Example:
example = evalAtom $ do xs <- mapM toAtom "abcabd" zs <- mapM fromAtom xs return $ zip zs xs
>>>
example
>>>
[('a',0),('b',1),('c',2),('a',0),('b',1),('d',3)]
- data AtomTable a
- data Atom a r
- toAtom :: MonadAtom m => Key m -> m Int
- fromAtom :: MonadAtom m => Int -> m (Key m)
- maybeToAtom :: MonadAtom m => Key m -> m (Maybe Int)
- empty :: Ord a => AtomTable a
- evalAtom :: Ord a => Atom a r -> r
- runAtom :: Ord a => Atom a r -> AtomTable a -> (r, AtomTable a)
- mapping :: Ord a => AtomTable a -> Map a Int
Documentation
AtomTable
holds the state necessary for converting to and from
Int
s.
Atom
is a specialized state monad for converting to and from
Int
s.
fromAtom :: MonadAtom m => Int -> m (Key m)Source
fromAtom i
converts the Int
i
to its corresponding object
in the Atom monad.
maybeToAtom :: MonadAtom m => Key m -> m (Maybe Int)Source
maybeToAtom x
converts x
to a unique Int
in the Atom
monad only if x
already has a corresponding Int
evalAtom :: Ord a => Atom a r -> rSource
evalAtom c
runs computation c in the Atom monad with the empty
initial AtomTable
.