Package

cats.kernel.laws

discipline

Permalink

package discipline

Linear Supertypes

Ordering

Alphabetic
By Inheritance

Inherited

discipline
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Type Members

trait BandTests[A] extends SemigroupTests[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 PartialOrderTests[A] extends EqTests[A]
trait SemigroupTests[A] extends Laws
trait SemilatticeTests[A] extends CommutativeSemigroupTests[A] with BandTests[A]
trait UpperBoundedTests[A] extends PartialOrderTests[A]

Value Members

object BandTests
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
implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit ev: Eq[A], pp: (A) ⇒ Pretty): Prop

Inherited from AnyRef

Inherited from Any

Ungrouped