Module laws/typeclass/harness

References

BuildConcrete → BuildConcrete
buildConcreteTypeclassLaws → buildConcreteTypeclassLaws
buildMonomorphicLaws → buildMonomorphicLaws
BuildParameterized → BuildParameterized
buildParameterizedTypeclassLaws → buildParameterizedTypeclassLaws
buildTypeclassLawsFor → buildTypeclassLawsFor
ComposeGiven → ComposeGiven
Concrete → Concrete
ConcreteClass → ConcreteClass
ConcreteGiven → ConcreteGiven
ConcreteLambdas → ConcreteLambdas
concreteLaws → concreteLaws
defineConcreteLaws → defineConcreteLaws
getMonoUnaryEquivalence → getMonoUnaryEquivalence
GivenArbitraries → GivenArbitraries
GivenConcerns → GivenConcerns
isParameterizedTypeclassName → isParameterizedTypeclassName
Mono → Mono
monoArbitrary → monoArbitrary
monoEquivalence → monoEquivalence
monoMonoid → monoMonoid
MonomorphicGiven → MonomorphicGiven
MonomorphicGivenOf → MonomorphicGivenOf
monoOrder → monoOrder
monoPredicateArbitrary → monoPredicateArbitrary
monoPredicateEquivalence → monoPredicateEquivalence
MonoProps → MonoProps
monoRecordArbitrary → monoRecordArbitrary
monoRecordEquivalence → monoRecordEquivalence
Parameterized → Parameterized
ParameterizedClass → ParameterizedClass
ParameterizedGiven → ParameterizedGiven
ParameterizedLambdas → ParameterizedLambdas
parameterizedLaws → parameterizedLaws
propsArbitrary → propsArbitrary
propsEquivalence → propsEquivalence
propsMonoid → propsMonoid
propsPredicateArbitrary → propsPredicateArbitrary
propsPredicateEquivalence → propsPredicateEquivalence
Typeclass → Typeclass
TypeclassInstances → TypeclassInstances
UnfoldedGiven → UnfoldedGiven
unfoldGiven → unfoldGiven
unfoldMonoGiven → unfoldMonoGiven
unfoldMonomorphicGiven → unfoldMonomorphicGiven
unfoldPropsGiven → unfoldPropsGiven
withOuterOption → withOuterOption