package coherent
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- trait AssociativeBothDeriveEqualInvariant[F[_]] extends AssociativeBoth[F] with DeriveEqual[F] with Invariant[F]
- trait AssociativeEitherDeriveEqualInvariant[F[_]] extends AssociativeEither[F] with DeriveEqual[F] with Invariant[F]
- trait AssociativeEqual[A] extends Associative[A] with Equal[A]
- trait AssociativeFlattenCovariantDeriveEqual[F[+_]] extends AssociativeFlatten[F] with Covariant[F] with DeriveEqual[F]
- trait CommutativeBothDeriveEqualInvariant[F[_]] extends AssociativeBothDeriveEqualInvariant[F] with CommutativeBoth[F]
- trait CommutativeEitherDeriveEqualInvariant[F[_]] extends AssociativeEitherDeriveEqualInvariant[F] with CommutativeEither[F]
- trait CommutativeEqual[A] extends AssociativeEqual[A] with Commutative[A]
- trait CommutativeIdentity[A] extends Commutative[A] with Identity[A]
- trait ContravariantDeriveEqual[F[-_]] extends Contravariant[F] with DeriveEqual[F]
- trait CovariantDeriveEqual[F[+_]] extends Covariant[F] with DeriveEqual[F]
- trait CovariantDeriveEqualIdentityFlatten[F[+_]] extends IdentityFlatten[F] with AssociativeFlattenCovariantDeriveEqual[F]
- trait DeriveEqualForEach[F[+_]] extends CovariantDeriveEqual[F] with ForEach[F]
- trait DeriveEqualIdentityBothInvariant[F[_]] extends AssociativeBothDeriveEqualInvariant[F] with IdentityBoth[F]
- trait DeriveEqualIdentityEitherInvariant[F[_]] extends AssociativeEitherDeriveEqualInvariant[F] with IdentityEither[F]
- trait DeriveEqualNonEmptyForEach[F[+_]] extends DeriveEqualForEach[F] with NonEmptyForEach[F]
- trait EqualIdempotent[A] extends AssociativeEqual[A] with Idempotent[A]
- trait EqualIdentity[A] extends AssociativeEqual[A] with Identity[A]
- trait EqualInverse[A] extends EqualIdentity[A] with Inverse[A]
- trait HashOrd[-A] extends HashPartialOrd[A] with Ord[A]
- trait HashPartialOrd[-A] extends Hash[A] with PartialOrd[A]
Value Members
- object AssociativeBothDeriveEqualInvariant
- object AssociativeEitherDeriveEqualInvariant
- object AssociativeEqual
- object AssociativeFlattenCovariantDeriveEqual
- object CommutativeBothDeriveEqualInvariant
- object CommutativeEitherDeriveEqualInvariant
- object CommutativeEqual
- object CommutativeIdentity
- object ContravariantDeriveEqual
- object CovariantDeriveEqual
- object CovariantDeriveEqualIdentityFlatten
- object DeriveEqualForEach
- object DeriveEqualIdentityBothInvariant
- object DeriveEqualIdentityEitherInvariant
- object DeriveEqualNonEmptyForEach
- object EqualIdempotent
- object EqualIdentity
- object EqualInverse
- object HashOrd
- object HashPartialOrd