AlternativeLaws
laws
AlternativeTests
discipline
ApplicativeLaws
laws
ApplicativeTests
discipline
ApplyLaws
laws
ApplyTests
discipline
ArrowLaws
laws
ArrowTests
discipline
algebra
AlternativeLaws
alternative
AlternativeTests
alternativeLeftDistributivity
AlternativeLaws
alternativeRightAbsorption
AlternativeLaws
alternativeRightDistributivity
AlternativeLaws
appFuncArbitrary
arbitrary
applicative
ApplicativeTests
applicativeComposition
ApplicativeLaws
applicativeHomomorphism
ApplicativeLaws
applicativeIdentity
ApplicativeLaws
applicativeInterchange
ApplicativeLaws
applicativeMap
ApplicativeLaws
apply
AlternativeLaws
ApplicativeLaws
ApplyLaws
ArrowLaws
BifunctorLaws
BimonadLaws
CategoryLaws
ChoiceLaws
CoflatMapLaws
ComonadLaws
ComposeLaws
ContravariantLaws
FlatMapLaws
FoldableLaws
FunctorLaws
InvariantLaws
MonadCombineLaws
MonadErrorLaws
MonadFilterLaws
MonadLaws
MonadReaderLaws
MonadStateLaws
MonoidKLaws
ProfunctorLaws
SemigroupKLaws
SplitLaws
StrongLaws
TraverseLaws
AlternativeTests
ApplicativeTests
ApplyTests
ArrowTests
BifunctorTests
BimonadTests
CategoryTests
ChoiceTests
CoflatMapTests
ComonadTests
ComposeTests
ContravariantTests
FlatMapTests
FoldableTests
FunctorTests
InvariantTests
MonadCombineTests
MonadErrorTests
MonadFilterTests
MonadReaderTests
MonadStateTests
MonadTests
MonoidKTests
ProfunctorTests
SemigroupKTests
SplitTests
StrongTests
TraverseTests
applyComposition
ApplyLaws
arbitrary
discipline
arrow
ArrowTests
arrowAssociation
ArrowLaws
arrowComposition
ArrowLaws
arrowExchange
ArrowLaws
arrowExtension
ArrowLaws
arrowFunctor
ArrowLaws
arrowIdentity
ArrowLaws
arrowUnit
ArrowLaws
attemptConsistentWithAttemptT
MonadErrorLaws