AlternativeLaws
laws
AlternativeTests
discipline
ApplicativeErrorLaws
laws
ApplicativeErrorTests
discipline
ApplicativeLaws
laws
ApplicativeTests
discipline
ApplyLaws
laws
ApplyTests
discipline
ArrowChoiceLaws
laws
ArrowChoiceTests
discipline
ArrowLaws
laws
ArrowTests
discipline
adaptErrorPure
MonadErrorLaws
adaptErrorRaise
MonadErrorLaws
algebra
AlternativeLaws
allValues
ExhaustiveCheck
MiniInt
alternative
AlternativeTests
alternativeLeftDistributivity
AlternativeLaws
alternativeRightAbsorption
AlternativeLaws
alternativeRightDistributivity
AlternativeLaws
apProductConsistent
ApplicativeLaws
applicative
ApplicativeTests
applicativeComposition
ApplicativeLaws
applicativeError
ApplicativeErrorTests
applicativeErrorHandle
ApplicativeErrorLaws
applicativeErrorHandleWith
ApplicativeErrorLaws
applicativeHomomorphism
ApplicativeLaws
applicativeIdentity
ApplicativeLaws
applicativeInterchange
ApplicativeLaws
applicativeMap
ApplicativeLaws
applicativeUnit
ApplicativeLaws
apply
AlternativeLaws
ApplicativeErrorLaws
ApplicativeLaws
ApplyLaws
ArrowChoiceLaws
ArrowLaws
BifoldableLaws
BifunctorLaws
BimonadLaws
BitraverseLaws
CategoryLaws
ChoiceLaws
CoflatMapLaws
CommutativeApplicativeLaws
CommutativeApplyLaws
CommutativeArrowLaws
CommutativeFlatMapLaws
CommutativeMonadLaws
ComonadLaws
ComposeLaws
ContravariantLaws
ContravariantMonoidalLaws
ContravariantSemigroupalLaws
DeferLaws
DistributiveLaws
FlatMapLaws
FoldableLaws
FunctorFilterLaws
FunctorLaws
InjectKLaws
InjectLaws
InvariantLaws
InvariantMonoidalLaws
InvariantSemigroupalLaws
MonadErrorLaws
MonadLaws
MonoidKLaws
NonEmptyParallelLaws
NonEmptyTraverseLaws
ParallelLaws
ProfunctorLaws
ReducibleLaws
RepresentableLaws
SemigroupKLaws
SemigroupalLaws
StrongLaws
TraverseFilterLaws
TraverseLaws
UnorderedFoldableLaws
UnorderedTraverseLaws
AlternativeTests
ApplicativeErrorTests
ApplicativeTests
ApplyTests
ArrowChoiceTests
ArrowTests
BifoldableTests
BifunctorTests
BimonadTests
BitraverseTests
CategoryTests
ChoiceTests
CoflatMapTests
CommutativeApplicativeTests
CommutativeApplyTests
CommutativeArrowTests
CommutativeFlatMapTests
CommutativeMonadTests
ComonadTests
ComposeTests
ContravariantMonoidalTests
ContravariantSemigroupalTests
ContravariantTests
DeferTests
DistributiveTests
ExhaustiveCheck
FlatMapTests
FoldableTests
FunctorFilterTests
FunctorTests
InjectKTests
InjectTests
InvariantMonoidalTests
InvariantSemigroupalTests
InvariantTests
MonadErrorTests
MonadTests
MonoidKTests
NonEmptyParallelTests
NonEmptyTraverseTests
ParallelTests
ProfunctorTests
ReducibleTests
RepresentableTests
SemigroupKTests
SemigroupalTests
StrongTests
TraverseFilterTests
TraverseTests
UnorderedFoldableTests
UnorderedTraverseTests
applyCommutative
CommutativeApplyLaws
applyComposition
ApplyLaws
arbNonEmptyMap
arbitrary
arbitrary
discipline
arrow
ArrowTests
arrowAssociation
ArrowLaws
arrowChoice
ArrowChoiceTests
arrowCommutative
CommutativeArrowLaws
arrowComposition
ArrowLaws
arrowExchange
ArrowLaws
arrowExtension
ArrowLaws
arrowFunctor
ArrowLaws
arrowIdentity
ArrowLaws
arrowUnit
ArrowLaws
associativity
Isomorphisms
attemptConsistentWithAttemptT
ApplicativeErrorLaws
attemptFromEitherConsistentWithPure
ApplicativeErrorLaws