o

zio.prelude.laws

IdentityFlattenLaws

object IdentityFlattenLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqualIdentityFlatten, Equal]

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

Value Members

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

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

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

    Definition Classes
    IdentityFlattenLaws → Covariant
  3. val leftIdentityLaw: test.laws.LawsF.Covariant[CovariantDeriveEqualIdentityFlatten, Equal]

    Adding a layer by mapping a value into the identity element and then flattening is an identity

  4. val rightIdentityLaw: test.laws.LawsF.Covariant[CovariantDeriveEqualIdentityFlatten, Equal]

    Adding a layer by mapping a value and mapping it into the identity element and then flattening is an identity.