AltLaw
trait ApplicativeLaw
trait ApplyLaw
trait FunctorLaw
trait InvariantFunctorLaw
class Object
trait Matchable
class Any
Value members
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
def composition[A, B, C](fbc: F[B => C], fab: F[A => B], fa: F[A])(implicit FC: Equal[F[C]]): Boolean
Lifted functions can be fused.
Lifted functions can be fused.
- Inherited from
- ApplyLaw
point
distributes over function applications.
point
distributes over function applications.
- Inherited from
- ApplicativeLaw
The identity function, lifted, is a no-op.
The identity function, lifted, is a no-op.
- Inherited from
- FunctorLaw
point
is a left and right identity, F-wise.
point
is a left and right identity, F-wise.
- Inherited from
- ApplicativeLaw
def invariantComposite[A, B, C](fa: F[A], f1: A => B, g1: B => A, f2: B => C, g2: C => B)(implicit FC: Equal[F[C]]): Boolean
- Inherited from
- InvariantFunctorLaw
map
is like the one derived from point
and ap
.
map
is like the one derived from point
and ap
.
- Inherited from
- ApplicativeLaw