MonadCombineLaws
laws
MonadCombineTests
discipline
MonadErrorLaws
laws
MonadErrorTests
discipline
MonadFilterLaws
laws
MonadFilterTests
discipline
MonadLaws
laws
MonadReaderLaws
laws
MonadReaderTests
discipline
MonadStateLaws
laws
MonadStateTests
discipline
MonadTests
discipline
Monoid
cats
MonoidKLaws
laws
MonoidKTests
discipline
mapCoflatMapCoherence
ComonadLaws
mapCoflattenIdentity
ComonadLaws
mapFlatMapCoherence
MonadLaws
monad
MonadTests
monadCombine
MonadCombineTests
monadCombineLeftDistributivity
MonadCombineLaws
monadError
MonadErrorTests
monadErrorHandle
MonadErrorLaws
monadErrorHandleWith
MonadErrorLaws
monadErrorLeftZero
MonadErrorLaws
monadFilter
MonadFilterTests
monadFilterConsistency
MonadFilterLaws
monadFilterLeftEmpty
MonadFilterLaws
monadFilterRightEmpty
MonadFilterLaws
monadLeftIdentity
MonadLaws
monadReader
MonadReaderTests
monadReaderAskIdempotent
MonadReaderLaws
monadReaderLocalAsk
MonadReaderLaws
monadReaderLocalFlatMap
MonadReaderLaws
monadReaderLocalPure
MonadReaderLaws
monadRightIdentity
MonadLaws
monadState
MonadStateTests
monadStateGetIdempotent
MonadStateLaws
monadStateGetSet
MonadStateLaws
monadStateSetGet
MonadStateLaws
monadStateSetTwice
MonadStateLaws
monoidEq
eq
monoidK
MonoidKTests
monoidKLeftIdentity
MonoidKLaws
monoidKRightIdentity
MonoidKLaws