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

AssociativeBothLaws

zio.prelude.laws.AssociativeBothLaws
object AssociativeBothLaws extends Invariant[[F[_]] =>> AssociativeBothDeriveEqualInvariant[F], Equal]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
Invariant

Concrete fields

lazy val associativityLaw: Invariant[[F[_]] =>> AssociativeBothDeriveEqualInvariant[F], Equal]

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

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

Attributes

lazy val laws: Invariant[[F[_]] =>> AssociativeBothDeriveEqualInvariant[F], Equal]

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

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

Attributes

Generated with