object IdentityLaws extends Lawful[EqualIdentity]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- IdentityLaws
- ZLawful
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- def +[Caps1[x] <: EqualIdentity[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
- Definition Classes
- ZLawful
- 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
- lazy val leftIdentityLaw: Laws[EqualIdentity]
The left identity law states that for some binary operator
*
, for all valuesa
, the following must hold:The left identity law states that for some binary operator
*
, for all valuesa
, the following must hold:identity * a === a
- lazy val rightIdentityLaw: Laws[EqualIdentity]
The left identity law states that for some binary operator
*
, for all valuesa
, the following must hold:The left identity law states that for some binary operator
*
, for all valuesa
, the following must hold:a * identity === a