MonadErrorLaws
laws
MonadErrorTests
discipline
MonadLaws
laws
MonadTests
discipline
Monoid
cats
MonoidKLaws
laws
MonoidKTests
discipline
map2EvalConsistency
ApplyLaws
map2ProductConsistency
ApplyLaws
mapCoflatMapCoherence
ComonadLaws
mapCoflattenIdentity
ComonadLaws
mapFilterComposition
FunctorFilterLaws
mapFilterMapConsistency
FunctorFilterLaws
mapFlatMapCoherence
MonadLaws
mapWithIndexRef
TraverseLaws
mergeConsistentWithAndThen
ArrowLaws
monad
MonadTests
monadError
MonadErrorTests
monadErrorEnsureConsistency
MonadErrorLaws
monadErrorEnsureOrConsistency
MonadErrorLaws
monadErrorLeftZero
MonadErrorLaws
monadLeftIdentity
MonadLaws
monadRightIdentity
MonadLaws
monoidK
MonoidKTests
monoidKLeftIdentity
MonoidKLaws
monoidKRightIdentity
MonoidKLaws
monoidalLeftIdentity
ApplicativeLaws
monoidalRightIdentity
ApplicativeLaws
mproductConsistency
FlatMapLaws