NumHask.Hedgehog.Props

properties/law groupings

integralProps :: forall a. (Show a, Distributive a, Subtractive a, Integral a, Signed a, Bounded a, Normed a a, Metric a a, JoinSemiLattice a, FromIntegral a Integer, ToIntegral a Integer) => Gen a -> [(PropertyName, Property)]

integralUnboundedProps :: forall a. (Show a, Distributive a, Subtractive a, Signed a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)]

naturalProps :: forall a. (Show a, Distributive a, Signed a, Normed a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)]

boolProps :: forall a. (Show a, Ord a, Distributive a) => Gen a -> [(PropertyName, Property)]

rationalProps :: forall a. (Show a, Ord a, Distributive a, Subtractive a, Divisive a, Signed a, Normed a a, Metric a a, JoinSemiLattice a, FromRatio a Integer, ToRatio a Integer) => Gen a -> [(PropertyName, Property)]

fieldProps :: forall a. (CanMeasure a, LowerBoundedField a, UpperBoundedField a, Signed a, Normed a a, Metric a a) => Gen a -> [(PropertyName, Property)]

field laws

quotientFieldProps :: forall a. (CanMeasure a, FromInteger a, QuotientField a Integer) => Gen a -> [(PropertyName, Property)]

quotient field laws

complexFieldProps :: forall a. (CanMeasure (Complex a), LowerBoundedField (Complex a), UpperBoundedField (Complex a), FromRational a) => Complex a -> Gen (Complex a) -> [(PropertyName, Property)]

logFieldProps :: forall a. (CanMeasure a, LowerBoundedField a, UpperBoundedField a) => Gen a -> [(PropertyName, Property)]

field laws