cats
.
kernel
.
laws
discipline
package
discipline
Linear Supertypes
AnyRef
,
Any
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