cats
.
kernel
laws
package
laws
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
laws
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
trait
BaseLaws
[
A
]
extends
Laws
implicit
class
BooleanOps
[
A
]
extends
AnyRef
implicit
class
CheckEqOps
[
A
]
extends
AnyRef
implicit
class
CheckOrderOps
[
A
]
extends
AnyRef
trait
GroupLaws
[
A
]
extends
Laws
trait
OrderLaws
[
A
]
extends
Laws
Value Members
object
BaseLaws
object
GroupLaws
object
Ops
object
OrderLaws
object
Rules
lazy val
falsified
:
Prop
lazy val
proved
:
Prop
Inherited from
AnyRef
Inherited from
Any
Ungrouped