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

Type Members

  1. implicit class BooleanOps[A] extends AnyRef
  2. implicit class CheckEqOps[A] extends AnyRef
  3. implicit class CheckOrderOps[A] extends AnyRef
  4. trait LatticeLaws[A] extends GroupLaws[A]
    Annotations
    @nowarn()
  5. trait LatticePartialOrderLaws[A] extends Laws
  6. trait LogicLaws[A] extends LatticeLaws[A] with DeMorganLaws[A]
    Annotations
    @nowarn()
  7. trait RingLaws[A] extends GroupLaws[A]
    Annotations
    @nowarn()

Deprecated Type Members

  1. trait BaseLaws[A] extends Laws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) No replacement

  2. trait DeMorganLaws[A] extends Laws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) Laws moved to LogicLaws

  3. trait GroupLaws[A] extends Laws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) Provided by cats.kernel.laws

  4. trait OrderLaws[A] extends Laws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) Provided by cats.kernel.laws

Value Members

  1. lazy val falsified: Prop
  2. lazy val proved: Prop
  3. object LatticeLaws
  4. object LatticePartialOrderLaws
  5. object LogicLaws
  6. object Ops
  7. object RingLaws
  8. object Rules

Deprecated Value Members

  1. object BaseLaws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) No replacement

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

    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) No replacement

  3. object DeMorganLaws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) Laws moved to LogicLaws

  4. object GroupLaws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) Provided by cats.kernel.laws

  5. object OrderLaws
    Annotations
    @deprecated
    Deprecated

    (Since version 2.7.0) Provided by cats.kernel.laws

Inherited from AnyRef

Inherited from Any

Ungrouped