ApplyLaw
trait ApplicativeLaw
trait AltLaw
trait MonadLaw
trait MonadPlusLaw
trait StrongMonadPlusLaw
trait MonadReaderLaw
trait BindLaw
trait BindRecLaw
Value members
Concrete methods
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 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
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