Module laws

References

alternativeLaws → alternativeLaws
AlternativeTypeLambda → AlternativeTypeLambda
applicativeLaws → applicativeLaws
ApplicativeTypeLambda → ApplicativeTypeLambda
associativity → associativity
BaseEncoding → BaseEncoding
BaseIsomorphismGiven → BaseIsomorphismGiven
bicovariantLaws → bicovariantLaws
BicovariantTypeLambda → BicovariantTypeLambda
boundedLaws → boundedLaws
BuildConcrete → BuildConcrete
buildConcreteTypeclassLaws → buildConcreteTypeclassLaws
buildIsomorphismLaws → buildIsomorphismLaws
buildMonomorphicLaws → buildMonomorphicLaws
BuildParameterized → BuildParameterized
buildParameterizedTypeclassLaws → buildParameterizedTypeclassLaws
buildTypeclassLawsFor → buildTypeclassLawsFor
ComposeGiven → ComposeGiven
Concrete → Concrete
ConcreteClass → ConcreteClass
ConcreteGiven → ConcreteGiven
ConcreteLambdas → ConcreteLambdas
concreteLaws → concreteLaws
contravariantLaws → contravariantLaws
ContravariantTypeLambda → ContravariantTypeLambda
covariantLaws → covariantLaws
CovariantTypeLambda → CovariantTypeLambda
defineConcreteLaws → defineConcreteLaws
encodeDecodeLaws → encodeDecodeLaws
equivalenceLaws → equivalenceLaws
filterableLaws → filterableLaws
FilterableTypeLambda → FilterableTypeLambda
flatMapLaws → flatMapLaws
FlatMapTypeLambda → FlatMapTypeLambda
foldableLaws → foldableLaws
FoldableTypeLambda → FoldableTypeLambda
getMonoUnaryEquivalence → getMonoUnaryEquivalence
GivenArbitraries → GivenArbitraries
GivenConcerns → GivenConcerns
invariantLaws → invariantLaws
InvariantTypeLambda → InvariantTypeLambda
inverse → inverse
IsomorphismGiven → IsomorphismGiven
IsomorphismGivenFor → IsomorphismGivenFor
isomorphismLaws → isomorphismLaws
isParameterizedTypeclassName → isParameterizedTypeclassName
monadLaws → monadLaws
MonadTypeLambda → MonadTypeLambda
Mono → Mono
monoArbitrary → monoArbitrary
monoEquivalence → monoEquivalence
monoidLaws → monoidLaws
MonoidTypeLambda → MonoidTypeLambda
monoMonoid → monoMonoid
MonomorphicGiven → MonomorphicGiven
MonomorphicGivenOf → MonomorphicGivenOf
monoOrder → monoOrder
monoPredicateArbitrary → monoPredicateArbitrary
monoPredicateEquivalence → monoPredicateEquivalence
MonoProps → MonoProps
monoRecordArbitrary → monoRecordArbitrary
monoRecordEquivalence → monoRecordEquivalence
orderLaws → orderLaws
Parameterized → Parameterized
ParameterizedClass → ParameterizedClass
ParameterizedGiven → ParameterizedGiven
ParameterizedLambdas → ParameterizedLambdas
parameterizedLaws → parameterizedLaws
propsArbitrary → propsArbitrary
propsEquivalence → propsEquivalence
propsMonoid → propsMonoid
propsPredicateArbitrary → propsPredicateArbitrary
propsPredicateEquivalence → propsPredicateEquivalence
schemaLaws → schemaLaws
semiAlternativeLaws → semiAlternativeLaws
SemiAlternativeTypeLambda → SemiAlternativeTypeLambda
semigroupLaws → semigroupLaws
symmetry → symmetry
traversableLaws → traversableLaws
TraversableTypeLambda → TraversableTypeLambda
Typeclass → Typeclass
TypeclassInstances → TypeclassInstances
UnfoldedGiven → UnfoldedGiven
unfoldGiven → unfoldGiven
unfoldMonoGiven → unfoldMonoGiven
unfoldMonomorphicGiven → unfoldMonomorphicGiven
unfoldPropsGiven → unfoldPropsGiven
withOuterOption → withOuterOption