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.