DivideLaw
Value members
Concrete methods
Inherited methods
A series of contramaps may be freely rewritten as a single contramap on a composed function.
A series of contramaps may be freely rewritten as a single contramap on a composed function.
- Inherited from
- ContravariantLaw
The identity function, lifted, is a no-op.
The identity function, lifted, is a no-op.
- Inherited from
- ContravariantLaw
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