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 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]

Value Members

object BandTests
object BoundedSemilatticeTests
object CommutativeGroupTests
object CommutativeMonoidTests
object CommutativeSemigroupTests
object EqTests
object GroupTests
object HashTests
object MonoidTests
object OrderTests
object PartialOrderTests
object SemigroupTests
object SemilatticeTests
object SerializableTests extends Laws
implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit ev: Eq[A], pp: (A) ⇒ Pretty): Prop

Inherited from AnyRef

Inherited from Any

Ungrouped