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 NRootLaws[A] extends Laws

  10. trait OrderLaws[A] extends Laws

  11. 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 NRootLaws

  8. object Ops

  9. object OrderLaws

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

  11. object RingLaws

  12. object Rules

  13. lazy val falsified: Prop

  14. lazy val proved: Prop

Inherited from AnyRef

Inherited from Any

Ungrouped