o

zio.prelude.laws

AssociativeEitherLaws

object AssociativeEitherLaws extends test.laws.LawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

Linear Supertypes
test.laws.ZLawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AssociativeEitherLaws
  2. Invariant
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def +[CapsF1[x[_]] <: AssociativeEitherDeriveEqualInvariant[x[_]], Caps1[x] <: Equal[x], R1 <: Any](that: test.laws.ZLawfulF.Invariant[CapsF1, Caps1, R1]): test.laws.ZLawfulF.Invariant[CapsF1, Caps1, R1]
    Definition Classes
    Invariant
  2. lazy val associativityLaw: test.laws.LawsF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

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

  3. lazy val laws: test.laws.LawsF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

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

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

    Definition Classes
    AssociativeEitherLaws → Invariant