Type Members

1.  sealed trait ZPure[+W, -S1, +S2, -R, +E, +A] extends AnyRef

   ZPure[W, S1, S2, R, E, A] is a purely functional description of a computation that requires an environment R and an initial state S1 and may either fail with an E or succeed with an updated state S2 and an A along with in either case a log with entries of type W.

   ZPure[W, S1, S2, R, E, A] is a purely functional description of a computation that requires an environment R and an initial state S1 and may either fail with an E or succeed with an updated state S2 and an A along with in either case a log with entries of type W. Because of its polymorphism ZPure can be used to model a variety of effects including context, state, failure, and logging.