o

zio.prelude.laws

IdentityLaws

object IdentityLaws extends Lawful[EqualIdentity]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IdentityLaws
  2. ZLawful
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def +[Caps1[x] <: EqualIdentity[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
    Definition Classes
    ZLawful
  2. lazy val laws: Laws[EqualIdentity]

    The set of all laws that instances of Identity must satisfy.

    The set of all laws that instances of Identity must satisfy.

    Definition Classes
    IdentityLaws → ZLawful
  3. lazy val leftIdentityLaw: Laws[EqualIdentity]

    The left identity law states that for some binary operator *, for all values a, the following must hold:

    The left identity law states that for some binary operator *, for all values a, the following must hold:

    identity * a === a
  4. lazy val rightIdentityLaw: Laws[EqualIdentity]

    The left identity law states that for some binary operator *, for all values a, the following must hold:

    The left identity law states that for some binary operator *, for all values a, the following must hold:

    a * identity === a