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