Package

algebra

laws

Permalink

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
Visibility
  1. Public
  2. All

Type Members

  1. trait BaseLaws[A] extends Laws

    Permalink

  2. implicit class BooleanOps[A] extends AnyRef

    Permalink

  3. implicit class CheckEqOps[A] extends AnyRef

    Permalink

  4. implicit class CheckOrderOps[A] extends AnyRef

    Permalink

  5. trait DeMorganLaws[A] extends Laws

    Permalink

  6. trait GroupLaws[A] extends Laws

    Permalink

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

    Permalink

  8. trait LatticePartialOrderLaws[A] extends Laws

    Permalink

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

    Permalink

  10. trait OrderLaws[A] extends Laws

    Permalink

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

    Permalink

Value Members

  1. object BaseLaws

    Permalink

  2. object CheckSupport

    Permalink

    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.)

  3. object DeMorganLaws

    Permalink

  4. object GroupLaws

    Permalink

  5. object LatticeLaws

    Permalink

  6. object LatticePartialOrderLaws

    Permalink

  7. object LogicLaws

    Permalink

  8. object Ops

    Permalink

  9. object OrderLaws

    Permalink

  10. object RingLaws

    Permalink

  11. object Rules

    Permalink

  12. lazy val falsified: Prop

    Permalink

  13. lazy val proved: Prop

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped