Data.Chatty.Atoms

Provides a variable-storing monad and functions for access

Documentation

data Atom a

Phantom type for atom IDs

Constructors

Atom Int

forall b . FunAtom Int (Atom b) (b -> a) (b -> a -> b)

forall b c . FunAtom2 Int (Atom b) (Atom c) ((b, c) -> a) ((b, c) -> a -> (b, c))

Instances

Eq (Atom a)

Ord (Atom a)

newtype Container

Constructors

Container ()

newtype AtomStoreT m a

The storage monad

Constructors

AtomStore

Fields

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

Instances

MonadTrans AtomStoreT

Monad m => Monad (AtomStoreT m)

Functor m => Functor (AtomStoreT m)

(Functor m, Monad m) => Applicative (AtomStoreT m)

MonadIO m => MonadIO (AtomStoreT m)

ChCounter m => ChCounter (AtomStoreT m)

ChCounter m => ChAtoms (AtomStoreT m)

class ChCounter m => ChAtoms m where

Typeclass for all atom-storing monads.

Minimal complete definition

putAtom, getAtom, dispAtom

Methods

newAtom :: m (Atom v)

Reserve a new atom.

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

Construct a new functional atom.

funAtom2 :: Atom b -> Atom c -> ((b, c) -> a) -> ((b, c) -> a -> (b, c)) -> m (Atom a)

Construct a new doubly-source functional atom

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

Save a value for the given atom.

getAtom :: Atom v -> m v

Get the value from a given atom.

dispAtom :: Atom v -> m ()

Dispose the given atom.

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

Clone the given atom.

Instances

ChCounter m => ChAtoms (AtomStoreT m)

mapAtom :: ChAtoms m => (a -> a) -> Atom a -> m ()

Run a pure function on atoms.

newtype Redundant m a b

Arrow type operating on atoms. Works by cloning the educt, then overwriting the clone. You shouldn't use this inside long-term environments, as massive usage blows up the memory.

Constructors

Redundant

Fields

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

Instances

ChAtoms m => Category * (Redundant m)

ChAtoms m => Arrow (Redundant m)