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