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

IdentityFlattenLaws

zio.prelude.laws.IdentityFlattenLaws
object IdentityFlattenLaws extends Covariant[[F[_]] =>> CovariantDeriveEqualIdentityFlatten[F], Equal]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
Covariant

Concrete fields

val laws: Covariant[[F[_]] =>> CovariantDeriveEqualIdentityFlatten[F], Equal]

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

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

Attributes

val leftIdentityLaw: Covariant[[F[_]] =>> CovariantDeriveEqualIdentityFlatten[F], Equal]

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

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

Attributes

val rightIdentityLaw: Covariant[[F[_]] =>> CovariantDeriveEqualIdentityFlatten[F], Equal]

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

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

Attributes

Generated with