FunctorLaw
trait AlignLaw
trait ApplyLaw
trait ApplicativeLaw
trait MonadLaw
trait MonadPlusLaw
trait StrongMonadPlusLaw
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