ALife.Creatur.Universe

TODO: fill in

Documentation

data Universe c l d n x a

A habitat containing artificial life.

Constructors

Universe

Fields

_clock :: c

_logger :: l

_agentDB :: d

_namer :: n

_extra :: x

Instances

(Clock c, Logger l) => Logger (Universe c l d n x a)

Clock c => Clock (Universe c l d n x a)

AgentNamer n => AgentNamer (Universe c l d n x a)

type SimpleUniverse a = Universe PersistentCounter SimpleRotatingLogger (FSDatabase a) SimpleAgentNamer () a

mkSimpleUniverse :: String -> FilePath -> Int -> SimpleUniverse a

agentDB :: forall c l d n x a d a. Lens (Universe c l d n x a) (Universe c l d n x a) d d

clock :: forall c l d n x a c a. Lens (Universe c l d n x a) (Universe c l d n x a) c c

logger :: forall c l d n x a l a. Lens (Universe c l d n x a) (Universe c l d n x a) l l

multiLookup :: (Serialize a, Database d, Record a, a ~ DBRecord d) => [AgentId] -> StateT d IO (Either String [DBRecord d])

extra :: forall c l d n x a x a. Lens (Universe c l d n x a) (Universe c l d n x a) x x

agentIds :: Database d => StateT (Universe c l d n x a) IO [String]

addAgent :: (Serialize a, Database d, Record a, a ~ DBRecord d) => DBRecord d -> StateT (Universe c l d n x a) IO ()

storeOrArchive :: (Serialize a, Database d, Record a, Agent a, a ~ DBRecord d) => a -> StateT d IO ()