cats
.
laws
discipline
package
discipline
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
discipline
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
trait
AlternativeTests
[
F
[
_
]
]
extends
ApplicativeTests
[
F
] with
MonoidKTests
[
F
]
trait
ApplicativeErrorTests
[
F
[
_
]
,
E
]
extends
ApplicativeTests
[
F
]
trait
ApplicativeTests
[
F
[
_
]
]
extends
ApplyTests
[
F
]
trait
ApplyTests
[
F
[
_
]
]
extends
FunctorTests
[
F
] with
CartesianTests
[
F
]
trait
ArrowTests
[
F
[
_
,
_
]
]
extends
CategoryTests
[
F
] with
SplitTests
[
F
] with
StrongTests
[
F
]
trait
BifunctorTests
[
F
[
_
,
_
]
]
extends
Laws
trait
BimonadTests
[
F
[
_
]
]
extends
MonadTests
[
F
] with
ComonadTests
[
F
]
trait
CartesianTests
[
F
[
_
]
]
extends
Laws
trait
CategoryTests
[
F
[
_
,
_
]
]
extends
ComposeTests
[
F
]
trait
ChoiceTests
[
F
[
_
,
_
]
]
extends
CategoryTests
[
F
]
trait
CoflatMapTests
[
F
[
_
]
]
extends
Laws
trait
ComonadTests
[
F
[
_
]
]
extends
CoflatMapTests
[
F
]
trait
ComposeTests
[
F
[
_
,
_
]
]
extends
Laws
trait
ContravariantTests
[
F
[
_
]
]
extends
InvariantTests
[
F
]
trait
FlatMapTests
[
F
[
_
]
]
extends
ApplyTests
[
F
]
trait
FoldableTests
[
F
[
_
]
]
extends
Laws
trait
FunctorTests
[
F
[
_
]
]
extends
InvariantTests
[
F
]
trait
InvariantTests
[
F
[
_
]
]
extends
Laws
trait
MonadCombineTests
[
F
[
_
]
]
extends
MonadFilterTests
[
F
] with
AlternativeTests
[
F
]
trait
MonadErrorTests
[
F
[
_
]
,
E
]
extends
ApplicativeErrorTests
[
F
,
E
] with
MonadTests
[
F
]
trait
MonadFilterTests
[
F
[
_
]
]
extends
MonadTests
[
F
]
trait
MonadReaderTests
[
F
[
_
]
,
R
]
extends
MonadTests
[
F
]
trait
MonadStateTests
[
F
[
_
]
,
S
]
extends
MonadTests
[
F
]
trait
MonadTests
[
F
[
_
]
]
extends
ApplicativeTests
[
F
] with
FlatMapTests
[
F
]
trait
MonoidKTests
[
F
[
_
]
]
extends
SemigroupKTests
[
F
]
trait
ProfunctorTests
[
F
[
_
,
_
]
]
extends
Laws
trait
SemigroupKTests
[
F
[
_
]
]
extends
Laws
trait
SplitTests
[
F
[
_
,
_
]
]
extends
ComposeTests
[
F
]
trait
StrongTests
[
F
[
_
,
_
]
]
extends
ProfunctorTests
[
F
]
trait
TraverseTests
[
F
[
_
]
]
extends
FunctorTests
[
F
] with
FoldableTests
[
F
]
Value Members
object
AlternativeTests
object
ApplicativeErrorTests
object
ApplicativeTests
object
ApplyTests
object
ArrowTests
object
BifunctorTests
object
BimonadTests
object
CartesianTests
object
CategoryTests
object
ChoiceTests
object
CoflatMapTests
object
ComonadTests
object
ComposeTests
object
ContravariantTests
object
FlatMapTests
object
FoldableTests
object
FunctorTests
object
InvariantTests
object
MonadCombineTests
object
MonadErrorTests
object
MonadFilterTests
object
MonadReaderTests
object
MonadStateTests
object
MonadTests
object
MonoidKTests
object
ProfunctorTests
object
SemigroupKTests
object
SerializableTests
extends
Laws
object
SplitTests
object
StrongTests
object
TraverseTests
object
arbitrary
extends
ArbitraryInstances0
Arbitrary instances for cats.
object
eq
implicit
def
isEqToProp
[
A
]
(
isEq:
IsEq
[
A
]
)
(
implicit
arg0:
Eq
[
A
]
)
:
Prop
Inherited from
AnyRef
Inherited from
Any
Ungrouped