TraverseLaw

class Object

trait Matchable

class Any

Value members

Traversal through the scalaz.Id effect is equivalent to Functor#map

Value Params

nat: 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))

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

Two sequentially dependent effects can be fused into one, their composition

A series of maps may be freely rewritten as a single map on a composed function.

The identity function, lifted, is a no-op.