NumHask.Laws
data LawArity a
data LawArity2 a b
type Law a
type Law2 a b
testLawOf
testLawOf2
idempotentLaws
additiveLaws
additiveLawsFail
additiveGroupLaws
multiplicativeLaws
multiplicativeLawsFail
multiplicativeMonoidalLaws
multiplicativeGroupLaws
distributionLaws
distributionLawsFail
integralLaws
signedLaws
metricFloatLaws
metricComplexFloatLaws
boundedFieldFloatLaws
quotientFieldLaws
expFieldLaws
expFieldComplexLooseLaws
additiveBasisLaws
additiveGroupBasisLaws
multiplicativeBasisLaws
multiplicativeGroupBasisLaws
additiveModuleLaws
additiveGroupModuleLaws
multiplicativeModuleLaws
multiplicativeGroupModuleLawsFail
expFieldNaperianLaws
metricNaperianFloatLaws
tensorProductLaws
banachLaws
hilbertLaws