package laws
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- laws
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- trait BaseLaws[A] extends Laws
- implicit class BooleanOps[A] extends AnyRef
- implicit class CheckEqOps[A] extends AnyRef
- implicit class CheckOrderOps[A] extends AnyRef
- trait DeMorganLaws[A] extends Laws
- trait GroupLaws[A] extends Laws
- trait LatticeLaws[A] extends GroupLaws[A]
- trait LatticePartialOrderLaws[A] extends Laws
- trait LogicLaws[A] extends LatticeLaws[A]
- trait OrderLaws[A] extends Laws
- trait RingLaws[A] extends GroupLaws[A]
Value Members
- lazy val falsified: Prop
- lazy val proved: Prop
- object BaseLaws
-
object
CheckSupport
This object contains Arbitrary instances for types defined in algebra.instances, as well as anything else we'd like to import to assist in running ScalaCheck tests.
This object contains Arbitrary instances for types defined in algebra.instances, as well as anything else we'd like to import to assist in running ScalaCheck tests.
(Since algebra-instances has no dependencies, its types can't define Arbitrary instances in companions.)
- object DeMorganLaws
- object GroupLaws
- object LatticeLaws
- object LatticePartialOrderLaws
- object LogicLaws
- object Ops
- object OrderLaws
- object RingLaws
- object Rules