trait DeriveEqualIdentityEitherInvariant[F[_]] extends AssociativeEitherDeriveEqualInvariant[F] with IdentityEither[F]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DeriveEqualIdentityEitherInvariant
  2. IdentityEither
  3. AssociativeEitherDeriveEqualInvariant
  4. Invariant
  5. Derive
  6. AssociativeEither
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def derive[A](implicit arg0: Equal[A]): Equal[F[A]]
    Definition Classes
    Derive
  2. abstract def either[A, B](fa: => F[A], fb: => F[B]): F[Either[A, B]]

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

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

    Definition Classes
    AssociativeEither
  3. abstract def invmap[A, B](f: <=>[A, B]): <=>[F[A], F[B]]
    Definition Classes
    Invariant
  4. abstract def none: F[Nothing]

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

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

    Definition Classes
    IdentityEither

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