Persistent.EventSource.Aggregate

Documentation

class Projection a => Aggregate a where

Aggregate is an intermediate step, allowing you to specify how your changeable commands are stored. stored events should be stable like an API.

Associated Types

type Command a = cmd | cmd -> a

The command is a sumtype with all your possible event sourced actions.

type Actor a

allows you to specify who executed a command. for audit purposes. set this to () if you don't care about this.

Methods

act :: (MonadSqlQuery m, MonadIO m) => Maybe (Actor a) -> Command a -> m [Event a]

Validate action and generate events, if any.