numhask-hedgehog-0.4.0: Laws and tests for numhask

Index

assertPropsNumHask.Hedgehog.Prop, NumHask.Hedgehog
assertPropsSeqNumHask.Hedgehog.Prop, NumHask.Hedgehog
binaryNumHask.Hedgehog.Prop, NumHask.Hedgehog
boolPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
CanMeasureNumHask.Hedgehog.Prop.Space
complexFieldPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
fieldPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
genComplexNumHask.Hedgehog.Gen, NumHask.Hedgehog
genPairNumHask.Hedgehog.Gen, NumHask.Hedgehog
genRangeNumHask.Hedgehog.Gen, NumHask.Hedgehog
genRangePosNumHask.Hedgehog.Gen, NumHask.Hedgehog
integralNumHask.Hedgehog.Gen, NumHask.Hedgehog
integralPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
integralUnboundedPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
integral_NumHask.Hedgehog.Gen, NumHask.Hedgehog
isAbsorbative 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isAbsorbativeUnitNumHask.Hedgehog.Prop, NumHask.Hedgehog
isAdditive 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isAssociative 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isAssociativeSpaceNumHask.Hedgehog.Prop.Space
isCommutative 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isCommutativeSpaceNumHask.Hedgehog.Prop.Space
isContainedUnionNumHask.Hedgehog.Prop.Space
isDistributiveNumHask.Hedgehog.Prop, NumHask.Hedgehog
isDistributiveTimesPlusNumHask.Hedgehog.Prop.Space
isDivisive 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isDivisiveSpaceNumHask.Hedgehog.Prop.Space
isExpField 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isGroupNumHask.Hedgehog.Prop, NumHask.Hedgehog
isIdempotent 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isIntegralNumHask.Hedgehog.Prop, NumHask.Hedgehog
isInvolutiveNumHask.Hedgehog.Prop, NumHask.Hedgehog
isLatticeSpaceNumHask.Hedgehog.Prop.Space
isLowerBoundedFieldNumHask.Hedgehog.Prop, NumHask.Hedgehog
isMetricBoundedNumHask.Hedgehog.Prop, NumHask.Hedgehog
isMetricUnbounded 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isMultiplicative 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isNormedNumHask.Hedgehog.Prop, NumHask.Hedgehog
isNormedBoundedNumHask.Hedgehog.Prop, NumHask.Hedgehog
isNormedUnbounded 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isProjectiveLowerNumHask.Hedgehog.Prop.Space
isProjectiveUpperNumHask.Hedgehog.Prop.Space
isQuotientIntegerFieldNumHask.Hedgehog.Prop, NumHask.Hedgehog
isRingNumHask.Hedgehog.Prop, NumHask.Hedgehog
isSemiringNumHask.Hedgehog.Prop, NumHask.Hedgehog
isSigned 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isStarSemiringNumHask.Hedgehog.Prop, NumHask.Hedgehog
isSubtractive 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isSubtractiveSpaceNumHask.Hedgehog.Prop.Space
isUnital 
1 (Function)NumHask.Hedgehog.Prop, NumHask.Hedgehog
2 (Function)NumHask.Hedgehog.Prop.Space
isUnitalSpaceNumHask.Hedgehog.Prop.Space
isUpperBoundedFieldNumHask.Hedgehog.Prop, NumHask.Hedgehog
isZeroAbsorbativeNumHask.Hedgehog.Prop.Space
logFieldPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
naturalPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
negUniformNumHask.Hedgehog.Gen, NumHask.Hedgehog
quotientFieldPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
rationalNumHask.Hedgehog.Gen, NumHask.Hedgehog
rationalPropsNumHask.Hedgehog.Props, NumHask.Hedgehog
rational_NumHask.Hedgehog.Gen, NumHask.Hedgehog
ternaryNumHask.Hedgehog.Prop, NumHask.Hedgehog
toFromIntegralNumHask.Hedgehog.Prop, NumHask.Hedgehog
toFromRatioNumHask.Hedgehog.Prop, NumHask.Hedgehog
unaryNumHask.Hedgehog.Prop, NumHask.Hedgehog
uniformNumHask.Hedgehog.Gen, NumHask.Hedgehog