Traverse1Law
Value members
Concrete methods
naturality
specialized to sequence1
.
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 sequentially dependent effects can be fused into one, their composition.
Two sequentially dependent effects can be fused into one, their composition.
Inherited methods
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.
- Inherited from
- FunctorLaw
The identity function, lifted, is a no-op.
The identity function, lifted, is a no-op.
- Inherited from
- FunctorLaw
Traversal through the scalaz.Id effect is equivalent to Functor#map
Traversal through the scalaz.Id effect is equivalent to Functor#map
- Inherited from
- TraverseLaw
- Inherited from
- InvariantFunctorLaw
- Value Params
- nat
A natural transformation from
M
toN
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))
- Inherited from
- TraverseLaw
Two independent effects can be fused into a single effect, their product.
Two independent effects can be fused into a single effect, their product.
- Inherited from
- TraverseLaw
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
- Inherited from
- TraverseLaw
Two sequentially dependent effects can be fused into one, their composition
Two sequentially dependent effects can be fused into one, their composition
- Inherited from
- TraverseLaw