package discipline
- Alphabetic
- By Inheritance
- discipline
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait BandTests[A] extends SemigroupTests[A]
- trait BoundedEnumerableTests[A] extends OrderTests[A] with PartialNextTests[A] with PartialPreviousTests[A]
- trait BoundedSemilatticeTests[A] extends CommutativeMonoidTests[A] with SemilatticeTests[A]
- trait CommutativeGroupTests[A] extends CommutativeMonoidTests[A] with GroupTests[A]
- trait CommutativeMonoidTests[A] extends CommutativeSemigroupTests[A] with MonoidTests[A]
- trait CommutativeSemigroupTests[A] extends SemigroupTests[A]
- trait EqTests[A] extends Laws
- trait GroupTests[A] extends MonoidTests[A]
- trait HashTests[A] extends EqTests[A]
- trait LowerBoundedTests[A] extends PartialOrderTests[A]
- trait MonoidTests[A] extends SemigroupTests[A]
- trait OrderTests[A] extends PartialOrderTests[A]
- trait PartialNextTests[A] extends PartialOrderTests[A]
- trait PartialOrderTests[A] extends EqTests[A]
- trait PartialPreviousTests[A] extends PartialOrderTests[A]
- trait SemigroupTests[A] extends Laws
- trait SemilatticeTests[A] extends CommutativeSemigroupTests[A] with BandTests[A]
- trait UpperBoundedTests[A] extends PartialOrderTests[A]
Value Members
- implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit ev: Eq[A], pp: (A) => Pretty): Prop
- object BandTests
- object BoundedEnumerableTests
- object BoundedSemilatticeTests
- object CommutativeGroupTests
- object CommutativeMonoidTests
- object CommutativeSemigroupTests
- object EqTests
- object GroupTests
- object HashTests
- object LowerBoundedTests
- object MonoidTests
- object OrderTests
- object PartialOrderTests
- object SemigroupTests
- object SemilatticeTests
- object SerializableTests extends Laws
- object UpperBoundedTests