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

AssociativeEitherLaws

zio.prelude.laws.AssociativeEitherLaws
object AssociativeEitherLaws extends Invariant[[F[_]] =>> AssociativeEitherDeriveEqualInvariant[F], Equal]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
Invariant

Concrete fields

lazy val associativityLaw: Invariant[[F[_]] =>> AssociativeEitherDeriveEqualInvariant[F], Equal]

For all fa, fb, and fc, either(fa, either(fb, fc)) is equivalent to either(either(fa, fb), fc).

For all fa, fb, and fc, either(fa, either(fb, fc)) is equivalent to either(either(fa, fb), fc).

Attributes

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

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

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

Attributes

Generated with