AlternativeLaws
laws
AlternativeTests
discipline
ApplicativeErrorLaws
laws
ApplicativeErrorTests
discipline
ApplicativeLaws
laws
ApplicativeTests
discipline
ApplyLaws
laws
ApplyTests
discipline
ArrowLaws
laws
ArrowTests
discipline
algebra
AlternativeLaws
alternative
AlternativeTests
alternativeLeftDistributivity
AlternativeLaws
alternativeRightAbsorption
AlternativeLaws
alternativeRightDistributivity
AlternativeLaws
apProductConsistent
ApplicativeLaws
appFuncArbitrary
arbitrary
applicative
ApplicativeTests
applicativeComposition
ApplicativeLaws
applicativeError
ApplicativeErrorTests
applicativeErrorHandle
ApplicativeErrorLaws
applicativeErrorHandleWith
ApplicativeErrorLaws
applicativeHomomorphism
ApplicativeLaws
applicativeIdentity
ApplicativeLaws
applicativeInterchange
ApplicativeLaws
applicativeMap
ApplicativeLaws
apply
AlternativeLaws
ApplicativeErrorLaws
ApplicativeLaws
ApplyLaws
ArrowLaws
BifunctorLaws
BimonadLaws
CartesianLaws
CategoryLaws
ChoiceLaws
CoflatMapLaws
ComonadLaws
ComposeLaws
ContravariantLaws
FlatMapLaws
FoldableLaws
FunctorLaws
InvariantLaws
MonadCombineLaws
MonadErrorLaws
MonadFilterLaws
MonadLaws
MonadReaderLaws
MonadStateLaws
MonoidKLaws
ProfunctorLaws
SemigroupKLaws
SplitLaws
StrongLaws
TraverseLaws
AlternativeTests
ApplicativeErrorTests
ApplicativeTests
ApplyTests
ArrowTests
BifunctorTests
BimonadTests
CartesianTests
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
associativity
Isomorphisms
attemptConsistentWithAttemptT
ApplicativeErrorLaws