Data.Chatty.Atoms

Provides a variable-storing monad and functions for access

Documentation

newtype Atom a

Phantom type for atom IDs

Constructors

Atom Int

Instances

Eq (Atom a)

Ord (Atom a)

newtype AtomStoreT m a

The storage monad

Constructors

AtomStore

Fields

runAtomStoreT :: AVL (Int, Dynamic) -> m (a, AVL (Int, Dynamic))

Instances

MonadTrans AtomStoreT

Monad m => Monad (AtomStoreT m)

Functor m => Functor (AtomStoreT m)

MonadIO m => MonadIO (AtomStoreT m)

ChCounter m => ChCounter (AtomStoreT m)

(Functor m, ChCounter m) => ChAtoms (AtomStoreT m)

class ChCounter m => ChAtoms m where

Typeclass for all atom-storing monads.

Methods

newAtom :: Typeable v => m (Atom v)

Reserve a new atom.

putAtom :: Typeable v => Atom v -> v -> m ()

Save a value for the given atom.

getAtom :: Typeable v => Atom v -> m v

Get the value from a given atom.

dispAtom :: Atom v -> m ()

Dispose the given atom.

cloneAtom :: Typeable v => Atom v -> m (Atom v)

Clone the given atom.

Instances

(Functor m, ChCounter m) => ChAtoms (AtomStoreT m)

newtype (Typeable a, Typeable b) => Atomar m a b

Atomar operation (almost arrow)

Constructors

Atomar

Fields

runAtomar :: Atom a -> m (Atom b)

mapAtom :: (Typeable a, Typeable b, ChAtoms m) => (a -> b) -> Atom a -> m (Atom b)

Run a pure function on atoms.