The Covariant
instance for ZPure
.
The IdentityBoth
instance for ZPure
.
The IdentityFlatten
instance for ZPure
.
Constructs a computation, catching any Throwable
that is thrown.
Combines a collection of computations into a single computation that passes the updated state from each computation to the next and collects the results.
Accesses the whole environment of the computation.
Accesses the environment of the computation.
Accesses the environment of the computation in the context of a computation.
Maps each element of a collection to a computation and combines them all into a single computation that passes the updated state from each computation to the next and collects the results.
Maps each element of a collection to a computation and combines them all into a single computation that passes the updated state from each computation to the next and collects the results.
Maps each element of a collection to a computation and combines them all into a single computation that passes the updated state from each computation to the next and discards the results.
Constructs a computation from an Either
.
Constructs a computation from an Option
.
Constructs a Validation
from a predicate, failing with None.
Constructs a Validation
from a predicate, failing with the error provided.
Constructs a computation from a scala.util.Try
.
Constructs a computation that returns the initial state unchanged.
Constructs a computation from the specified modify function.
Constructs a computation that may fail from the specified modify function.
Constructs a computation that succeeds with the None
value.
Accesses the specified service in the environment of the computation.
Accesses the specified service in the environment of the computation.
Accesses the specified service in the environment of the computation in the context of a computation.
Constructs a computation that sets the state to the specified value.
Constructs a computation that always succeeds with the specified value, passing the state through unchanged.
Returns a lazily constructed computation, whose construction may itself require effects.
Constructs a computation that always returns the Unit
value, passing the
state through unchanged.
The moral equivalent of if (!p) exp
Constructs a computation from the specified update function.
The moral equivalent of if (p) exp
Runs a computation when the supplied PartialFunction
matches for the given
value, otherwise does nothing.