o

zio.prelude.laws

IdentityEitherlaws

object IdentityEitherlaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]

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

Value Members

  1. def +[CapsF1[x[_]] <: DeriveEqualIdentityEitherInvariant[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. val laws: test.laws.LawsF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]

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

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

    Definition Classes
    IdentityEitherlaws → Invariant
  3. val leftIdentityLaw: test.laws.LawsF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]

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

  4. val rightIdentityLaw: test.laws.LawsF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]

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