zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.coherent

zio.prelude.coherent

package zio.prelude.coherent

Members list

Type members

Classlikes

trait AssociativeBothDeriveEqualInvariant[F[_]] extends AssociativeBoth[F], DeriveEqual[F], Invariant[F]

Attributes

Companion
object
Supertypes
trait Invariant[F]
trait Derive[F, Equal]
trait AssociativeBoth[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
object AssociativeBothDeriveEqualInvariant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait AssociativeEitherDeriveEqualInvariant[F[_]] extends AssociativeEither[F], DeriveEqual[F], Invariant[F]

Attributes

Companion
object
Supertypes
trait Invariant[F]
trait Derive[F, Equal]
class Object
trait Matchable
class Any
Show all
Known subtypes
object AssociativeEitherDeriveEqualInvariant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait AssociativeEqual[A] extends Associative[A], Equal[A]

Attributes

Companion
object
Supertypes
trait Equal[A]
trait Associative[A]
class Object
trait Matchable
class Any
Known subtypes
trait CommutativeEqual[A]
trait EqualIdempotent[A]
trait EqualIdentity[A]
trait EqualInverse[A]
object AssociativeEqual

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait AssociativeFlattenCovariantDeriveEqual[F[_]] extends AssociativeFlatten[F], Covariant[F], DeriveEqual[F]

Attributes

Companion
object
Supertypes
trait Derive[F, Equal]
trait Covariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
object AssociativeFlattenCovariantDeriveEqual

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CommutativeBothDeriveEqualInvariant[F[_]] extends AssociativeBothDeriveEqualInvariant[F], CommutativeBoth[F]

Attributes

Companion
object
Supertypes
trait CommutativeBoth[F]
trait Invariant[F]
trait Derive[F, Equal]
trait AssociativeBoth[F]
class Object
trait Matchable
class Any
Show all
object CommutativeBothDeriveEqualInvariant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CommutativeEitherDeriveEqualInvariant[F[_]] extends AssociativeEitherDeriveEqualInvariant[F], CommutativeEither[F]

Attributes

Companion
object
Supertypes
trait Invariant[F]
trait Derive[F, Equal]
class Object
trait Matchable
class Any
Show all
object CommutativeEitherDeriveEqualInvariant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CommutativeEqual[A] extends AssociativeEqual[A], Commutative[A]

Attributes

Companion
object
Supertypes
trait Commutative[A]
trait AssociativeEqual[A]
trait Equal[A]
trait Associative[A]
class Object
trait Matchable
class Any
Show all
object CommutativeEqual

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CommutativeIdentity[A] extends Commutative[A], Identity[A]

Attributes

Companion
object
Supertypes
trait Identity[A]
trait Commutative[A]
trait Associative[A]
class Object
trait Matchable
class Any
Show all
object CommutativeIdentity

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ContravariantDeriveEqual[F[_]] extends Contravariant[F], DeriveEqual[F]

Attributes

Companion
object
Supertypes
trait Derive[F, Equal]
trait Contravariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
object ContravariantDeriveEqual

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CovariantDeriveEqual[F[_]] extends Covariant[F], DeriveEqual[F]

Attributes

Companion
object
Supertypes
trait Derive[F, Equal]
trait Covariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
object CovariantDeriveEqual

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CovariantDeriveEqualIdentityFlatten[F[_]] extends IdentityFlatten[F], AssociativeFlattenCovariantDeriveEqual[F]

Attributes

Companion
object
Supertypes
trait Derive[F, Equal]
trait Covariant[F]
trait Invariant[F]
trait IdentityFlatten[F]
class Object
trait Matchable
class Any
Show all
object CovariantDeriveEqualIdentityFlatten

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CovariantIdentityBoth[F[_]] extends Covariant[F], IdentityBoth[F]

Attributes

Companion
object
Supertypes
trait IdentityBoth[F]
trait AssociativeBoth[F]
trait Covariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
Self type
object CovariantIdentityBoth

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait DeriveEqualForEach[F[_]] extends CovariantDeriveEqual[F], ForEach[F]

Attributes

Companion
object
Supertypes
trait ForEach[F]
trait Derive[F, Equal]
trait Covariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
object DeriveEqualForEach

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait DeriveEqualIdentityBothInvariant[F[_]] extends AssociativeBothDeriveEqualInvariant[F], IdentityBoth[F]

Attributes

Companion
object
Supertypes
trait IdentityBoth[F]
trait Invariant[F]
trait Derive[F, Equal]
trait AssociativeBoth[F]
class Object
trait Matchable
class Any
Show all
object DeriveEqualIdentityBothInvariant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait DeriveEqualIdentityEitherInvariant[F[_]] extends AssociativeEitherDeriveEqualInvariant[F], IdentityEither[F]

Attributes

Companion
object
Supertypes
trait IdentityEither[F]
trait Invariant[F]
trait Derive[F, Equal]
class Object
trait Matchable
class Any
Show all
object DeriveEqualIdentityEitherInvariant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait DeriveEqualNonEmptyForEach[F[_]] extends DeriveEqualForEach[F], NonEmptyForEach[F]

Attributes

Companion
object
Supertypes
trait NonEmptyForEach[F]
trait ForEach[F]
trait Derive[F, Equal]
trait Covariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
object DeriveEqualNonEmptyForEach

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait EqualIdempotent[A] extends AssociativeEqual[A], Idempotent[A]

Attributes

Companion
object
Supertypes
trait Idempotent[A]
trait AssociativeEqual[A]
trait Equal[A]
trait Associative[A]
class Object
trait Matchable
class Any
Show all
object EqualIdempotent

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait EqualIdentity[A] extends AssociativeEqual[A], Identity[A]

Attributes

Companion
object
Supertypes
trait Identity[A]
trait AssociativeEqual[A]
trait Equal[A]
trait Associative[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait EqualInverse[A]
object EqualIdentity

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait EqualInverse[A] extends EqualPartialInverse[A], Inverse[A]

Attributes

Companion
object
Supertypes
trait Inverse[A]
trait PartialInverse[A]
trait EqualIdentity[A]
trait Identity[A]
trait AssociativeEqual[A]
trait Equal[A]
trait Associative[A]
class Object
trait Matchable
class Any
Show all
object EqualInverse

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait EqualPartialInverse[A] extends EqualIdentity[A], PartialInverse[A]

Attributes

Companion
object
Supertypes
trait PartialInverse[A]
trait EqualIdentity[A]
trait Identity[A]
trait AssociativeEqual[A]
trait Equal[A]
trait Associative[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait EqualInverse[A]
object EqualPartialInverse

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait HashOrd[-A] extends HashPartialOrd[A], Ord[A]

Attributes

Companion
object
Supertypes
trait Ord[A]
trait HashPartialOrd[A]
trait PartialOrd[A]
trait Hash[A]
trait Equal[A]
class Object
trait Matchable
class Any
Show all
Self type
HashOrd[A]
object HashOrd

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
HashOrd.type
trait HashPartialOrd[-A] extends Hash[A], PartialOrd[A]

Attributes

Companion
object
Supertypes
trait PartialOrd[A]
trait Hash[A]
trait Equal[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait HashOrd[A]
Self type
object HashPartialOrd

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with