zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.laws/IdentityEitherlaws

IdentityEitherlaws

zio.prelude.laws.IdentityEitherlaws
object IdentityEitherlaws extends Invariant[[F[_]] =>> DeriveEqualIdentityEitherInvariant[F], Equal]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def +[CapsF1 <: ([x[_]] =>> DeriveEqualIdentityEitherInvariant[x]), Caps1 <: (Equal), R1](that: Invariant[CapsF1, Caps1, R1]): Invariant[CapsF1, Caps1, R1]

Attributes

Inherited from:
Invariant

Concrete fields

val laws: Invariant[[F[_]] =>> DeriveEqualIdentityEitherInvariant[F], Equal]

The set of law laws that instances of IdentityEither must satisfy.

The set of law laws that instances of IdentityEither must satisfy.

Attributes

val leftIdentityLaw: Invariant[[F[_]] =>> DeriveEqualIdentityEitherInvariant[F], Equal]

For all fa, either(identity, fa) is equivalent to fa.

For all fa, either(identity, fa) is equivalent to fa.

Attributes

val rightIdentityLaw: Invariant[[F[_]] =>> DeriveEqualIdentityEitherInvariant[F], Equal]

For all fa, either(fa, identity) is equivalent to fa.

For all fa, either(fa, identity) is equivalent to fa.

Attributes

Generated with