InvariantFunctorLaw
trait InvariantFunctorLaw
class Object
trait Matchable
class Any
trait ContravariantLaw
trait DivideLaw
trait DivisibleLaw
trait 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
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