MetricProperties
algebird
MonadLaws
algebird
macros
algebird
makeApproximate
ApproximateProperty
maxArb
arbitrary
metricLaws
MetricProperties
minArb
arbitrary
momentsArb
arbitrary
monadLaws
MonadLaws
monadLawsEquiv
MonadLaws
monoidLaws
BaseProperties
monoidLawsEq
BaseProperties
monoidLawsEquiv
BaseProperties