numhask-test-0.1.0.0: Laws and tests for numhask

Index

additiveBasisLawsNumHask.Laws
additiveGroupBasisLawsNumHask.Laws
additiveGroupLawsNumHask.Laws
additiveGroupModuleLawsNumHask.Laws
additiveLawsNumHask.Laws
additiveLawsFailNumHask.Laws
additiveLaws_NumHask.Laws
additiveModuleLawsNumHask.Laws
banachLawsNumHask.Laws
BinaryNumHask.Laws
Binary11NumHask.Laws
Binary20NumHask.Laws
distributionLawsNumHask.Laws
distributionLawsFailNumHask.Laws
expFieldContainerLawsNumHask.Laws
expFieldLawsNumHask.Laws
FailiaryNumHask.Laws
Failiary2NumHask.Laws
hilbertLawsNumHask.Laws
idempotentLawsNumHask.Laws
integralLawsNumHask.Laws
integralsLawsNumHask.Laws
involutiveRingLawsNumHask.Laws
LawNumHask.Laws
Law2NumHask.Laws
LawArityNumHask.Laws
LawArity2NumHask.Laws
lowerBoundedFieldLawsNumHask.Laws
metricIntegralBoundedLawsNumHask.Laws
metricIntegralLawsNumHask.Laws
metricRationalLawsNumHask.Laws
multiplicativeBasisLawsNumHask.Laws
multiplicativeGroupBasisLawsNumHask.Laws
multiplicativeGroupLawsNumHask.Laws
multiplicativeGroupLaws_NumHask.Laws
multiplicativeGroupModuleLawsFailNumHask.Laws
multiplicativeLawsNumHask.Laws
multiplicativeLawsFailNumHask.Laws
multiplicativeModuleLawsNumHask.Laws
multiplicativeMonoidalLawsNumHask.Laws
NonaryNumHask.Laws
normedBoundedLawsNumHask.Laws
normedLawsNumHask.Laws
OrnaryNumHask.Laws
Quad22NumHask.Laws
Quad31NumHask.Laws
quotientFieldLawsNumHask.Laws
rationalLawsNumHask.Laws
ringLawsNumHask.Laws
semiringLawsNumHask.Laws
signedLawsNumHask.Laws
starSemiringLawsNumHask.Laws
tensorProductLawsNumHask.Laws
TernaryNumHask.Laws
Ternary12NumHask.Laws
Ternary21NumHask.Laws
Ternary30NumHask.Laws
testLawOfNumHask.Laws
testLawOf2NumHask.Laws
UnaryNumHask.Laws
Unary01NumHask.Laws
Unary10NumHask.Laws
upperBoundedFieldLawsNumHask.Laws