Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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)]
- quotientFieldProps :: forall a. (CanMeasure a, FromInteger a, QuotientField a Integer) => Gen a -> [(PropertyName, Property)]
- 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)]
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)] Source #
integralUnboundedProps :: forall a. (Show a, Distributive a, Subtractive a, Signed a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)] Source #
naturalProps :: forall a. (Show a, Distributive a, Signed a, Normed a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)] Source #
boolProps :: forall a. (Show a, Ord a, Distributive a) => Gen a -> [(PropertyName, Property)] Source #
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)] Source #
fieldProps :: forall a. (CanMeasure a, LowerBoundedField a, UpperBoundedField a, Signed a, Normed a a, Metric a a) => Gen a -> [(PropertyName, Property)] Source #
field laws
quotientFieldProps :: forall a. (CanMeasure a, FromInteger a, QuotientField a Integer) => Gen a -> [(PropertyName, Property)] Source #
quotient field laws
complexFieldProps :: forall a. (CanMeasure (Complex a), LowerBoundedField (Complex a), UpperBoundedField (Complex a), FromRational a) => Complex a -> Gen (Complex a) -> [(PropertyName, Property)] Source #
logFieldProps :: forall a. (CanMeasure a, LowerBoundedField a, UpperBoundedField a) => Gen a -> [(PropertyName, Property)] Source #
field laws