Type-class describing F[_]
data types capable of executing
asynchronous computations that produce a single result.
A context that is able to throw or expose thrown exceptions.
Describes data types that allows for arbitrarily delaying the evaluation of an operation, triggering its execution on each run.
Describes data types that allows for arbitrarily delaying the evaluation of an operation, triggering its execution on each run.
Instances of this type-class have the following properties:
always
semantics, meaning that on each
evaluation of F[_]
, any captured side-effects get repeatedIf the data type also has a Monad implementation, then this operation is isomorphic to:
F.pure(()).flatMap(_ => fa)
A type-class for F[_]
data types that have a data constructor
taking a by-name value and that is equivalent to Applicative.pure
for pure expressions.
A type-class for F[_]
data types that have a data constructor
taking a by-name value and that is equivalent to Applicative.pure
for pure expressions.
Type-class describing F[_]
data types capable of evaluating
side-effects in the F
context and that can signal a single
value or error as the result, potentially asynchronous.
Type-class describing F[_]
data types capable of evaluating
side-effects in the F
context and that can signal a single
value or error as the result, potentially asynchronous.
Type-class describing
F[_]
data types capable of executing asynchronous computations that produce a single result.