cats.kernel

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

Value Members

  1. object BaseLaws

  2. object GroupLaws

  3. object Ops

  4. object OrderLaws

  5. object Rules

  6. lazy val falsified: Prop

  7. lazy val proved: Prop

Inherited from AnyRef

Inherited from Any

Ungrouped