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

DeriveEqualIdentityEitherInvariant

zio.prelude.coherent.DeriveEqualIdentityEitherInvariant
See theDeriveEqualIdentityEitherInvariant companion object
trait DeriveEqualIdentityEitherInvariant[F[_]] extends AssociativeEitherDeriveEqualInvariant[F], IdentityEither[F]

Attributes

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

Members list

Value members

Inherited methods

final def compose[G[_]](implicit g: Invariant[G]): Invariant[{ type lambda = [A] =>> F[G[A]]; }#<none>]

Compose two invariant functors.

Compose two invariant functors.

Attributes

Inherited from:
Invariant
def compositionLaw[A, B, C](fa: F[A], f: Equivalence[A, B], g: Equivalence[B, C])(implicit equal: Equal[F[C]]): Boolean

Attributes

Inherited from:
Invariant
def derive[A : Equal]: Equal[F[A]]

Attributes

Inherited from:
Derive
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]].

Attributes

Inherited from:
AssociativeEither
def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean

Attributes

Inherited from:
Invariant
def invmap[A, B](f: Equivalence[A, B]): Equivalence[F[A], F[B]]

Attributes

Inherited from:
Invariant
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]].

Attributes

Inherited from:
IdentityEither
Generated with