cats.kernel.laws

discipline

package discipline

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

Type Members

  1. trait BandTests[A] extends SemigroupTests[A]

  2. trait BoundedSemilatticeTests[A] extends CommutativeMonoidTests[A] with SemilatticeTests[A]

  3. trait CommutativeGroupTests[A] extends CommutativeMonoidTests[A] with GroupTests[A]

  4. trait CommutativeMonoidTests[A] extends CommutativeSemigroupTests[A] with MonoidTests[A]

  5. trait CommutativeSemigroupTests[A] extends SemigroupTests[A]

  6. trait EqTests[A] extends Laws

  7. trait GroupTests[A] extends MonoidTests[A]

  8. trait HashTests[A] extends EqTests[A]

  9. trait MonoidTests[A] extends SemigroupTests[A]

  10. trait OrderTests[A] extends PartialOrderTests[A]

  11. trait PartialOrderTests[A] extends EqTests[A]

  12. trait SemigroupTests[A] extends Laws

  13. trait SemilatticeTests[A] extends CommutativeSemigroupTests[A] with BandTests[A]

Value Members

  1. object BandTests

  2. object BoundedSemilatticeTests

  3. object CommutativeGroupTests

  4. object CommutativeMonoidTests

  5. object CommutativeSemigroupTests

  6. object EqTests

  7. object GroupTests

  8. object HashTests

  9. object MonoidTests

  10. object OrderTests

  11. object PartialOrderTests

  12. object SemigroupTests

  13. object SemilatticeTests

  14. object SerializableTests extends Laws

  15. implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit ev: Eq[A], pp: (A) ⇒ Pretty): Prop

Inherited from AnyRef

Inherited from Any

Ungrouped