Type Members

1.  trait EventApplier[S, E] extends (Option[S], E) => \/[String, Option[S]]

   Function that defines transition of the state given an event (or invalid event for the given state).

   Function that defines transition of the state given an event (or invalid event for the given state).

   S

   state

   E

   event

2.  trait EventWriter[F[_], E] extends AnyRef

   EventWriter[F, S] is the ability to append an event of type E to an event log in the context F.

   EventWriter[F, S] is the ability to append an event of type E to an event log in the context F.

   Note that this is equivalent to Tell[F, E] in cats mtl.

   E

   event