trait DeriveEqualIdentityBothInvariant[F[_]] extends AssociativeBothDeriveEqualInvariant[F] with IdentityBoth[F]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DeriveEqualIdentityBothInvariant
  2. IdentityBoth
  3. AssociativeBothDeriveEqualInvariant
  4. Invariant
  5. Derive
  6. AssociativeBoth
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def any: F[Any]

    The identity for combining two values of types F[A] and F[B] to produce an F[(A, B)].

    The identity for combining two values of types F[A] and F[B] to produce an F[(A, B)].

    Definition Classes
    IdentityBoth
  2. abstract def both[A, B](fa: => F[A], fb: => F[B]): F[(A, B)]

    Combines two values of types F[A] and F[B] to produce an F[(A, B)].

    Combines two values of types F[A] and F[B] to produce an F[(A, B)].

    Definition Classes
    AssociativeBoth
  3. abstract def derive[A](implicit arg0: Equal[A]): Equal[F[A]]
    Definition Classes
    Derive
  4. abstract def invmap[A, B](f: <=>[A, B]): <=>[F[A], F[B]]
    Definition Classes
    Invariant

Concrete Value Members

  1. final def compose[G[_]](implicit g: Invariant[G]): Invariant[[A]F[G[A]]]

    Compose two invariant functors.

    Compose two invariant functors.

    Definition Classes
    Invariant
  2. def compositionLaw[A, B, C](fa: F[A], f: <=>[A, B], g: <=>[B, C])(implicit equal: Equal[F[C]]): Boolean
    Definition Classes
    Invariant
  3. def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean
    Definition Classes
    Invariant