zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.experimental/zio.prelude.experimental.laws/AnnihilationLaws

AnnihilationLaws

zio.prelude.experimental.laws.AnnihilationLaws
object AnnihilationLaws extends Lawful[AnnihilationEqual]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def +[Caps1 <: (AnnihilationEqual), R1](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]

Attributes

Inherited from:
ZLawful

Concrete fields

lazy val laws: Laws[AnnihilationEqual]

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

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

Attributes

lazy val leftAnnihilationLaw: Laws[AnnihilationEqual]

The left annihilation law states that for the multiplication operator *, 0 (the identity value for addition) and for any value a, the following must hold:

The left annihilation law states that for the multiplication operator *, 0 (the identity value for addition) and for any value a, the following must hold:

0 * a === 0

Attributes

lazy val rightAnnihilationLaw: Laws[AnnihilationEqual]

The right annihilation law states that for the multiplication operator *, 0 (the identity value for addition) and for any value a, the following must hold:

The right annihilation law states that for the multiplication operator *, 0 (the identity value for addition) and for any value a, the following must hold:

a * 0 === 0

Attributes

Generated with