algebra

laws

package laws

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. laws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait BaseLaws[A] extends Laws

  2. implicit class BooleanOps[A] extends AnyRef

  3. implicit class CheckEqOps[A] extends AnyRef

  4. implicit class CheckOrderOps[A] extends AnyRef

  5. trait GroupLaws[A] extends Laws

  6. trait LatticeLaws[A] extends GroupLaws[A]

  7. trait LatticePartialOrderLaws[A] extends Laws

  8. trait LogicLaws[A] extends LatticeLaws[A]

  9. trait OrderLaws[A] extends Laws

  10. trait RingLaws[A] extends GroupLaws[A]

Value Members

  1. object BaseLaws

  2. object CheckSupport

    This object contains Arbitrary instances for types defined in algebra.

  3. object GroupLaws

  4. object LatticeLaws

  5. object LatticePartialOrderLaws

  6. object LogicLaws

  7. object Ops

  8. object OrderLaws

  9. implicit def PredicateFromMonoid[A](implicit ev: Eq[A], A: AdditiveMonoid[A]): Predicate[A]

  10. object RingLaws

  11. object Rules

  12. lazy val falsified: Prop

  13. lazy val proved: Prop

Inherited from AnyRef

Inherited from Any

Ungrouped