A series of maps may be freely rewritten as a single map on a composed function.
A series of maps may be freely rewritten as a single map on a composed function.
The identity function, lifted, is a no-op.
The identity function, lifted, is a no-op.
Traversal through the scalaz.Id effect is equivalent to Functor#map
Traversal through the scalaz.Id effect is equivalent to Functor#map
Traversal through the scalaz.Id effect is equivalent to
Functor#map
.
A natural transformation from M
to N
for which these properties hold:
(a: A) => nat(Applicative[M].point[A](a)) === Applicative[N].point[A](a)
(f: M[A => B], ma: M[A]) => nat(Applicative[M].ap(ma)(f)) === Applicative[N].ap(nat(ma))(nat(f))
naturality
specialized to sequence1
.
Two independent effects can be fused into a single effect, their product.
Two independent effects can be fused into a single effect, their product.
Two independent effects can be fused into a single effect, their product.
Traversal with the point
function is the same as applying the point
function directly
Traversal with the point
function is the same as applying the point
function directly
Two sequentially dependent effects can be fused into one, their composition
Two sequentially dependent effects can be fused into one, their composition
Two sequentially dependent effects can be fused into one, their composition.