Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- integralProps :: forall a. (Show a, Distributive a, Subtractive a, Integral a, FromInteger a, ToInteger a, Signed a, Bounded a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)]
- integralUnboundedProps :: forall a. (Show a, Distributive a, Subtractive a, Integral a, FromInteger a, ToInteger a, Signed a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)]
- naturalProps :: forall a. (Show a, Distributive a, Integral a, FromInteger a, ToInteger 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, FromRatio a, ToRatio a, Signed a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)]
- fieldProps :: forall a. (CanMeasure a, BoundedLattice 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), Epsilon a, BoundedLattice (Complex a), Divisive a, FromRatio a) => Complex a -> Gen (Complex a) -> [(PropertyName, Property)]
- logFieldProps :: forall a. (CanMeasure a, BoundedLattice a, Divisive a) => Gen a -> [(PropertyName, Property)]
- latticeProps :: forall a. CanMeasure a => Gen a -> [(PropertyName, Property)]
- spaceProps :: forall s. (Show s, Space s, Monoid s, Eq s, Epsilon (Element s), LowerBoundedField (Element s), UpperBoundedField (Element s), BoundedJoinSemiLattice (Element s), BoundedMeetSemiLattice (Element s)) => Gen s -> [(PropertyName, Property)]
- fieldSpaceProps :: forall s. (Show s, FieldSpace s, Epsilon (Element s)) => Gen s -> [(PropertyName, Property)]
- spaceAlgebraProps :: forall s. (Eq s, Show s, Space s, Subtractive s, Divisive s, CanMeasure (Element s)) => Gen s -> [(PropertyName, Property)]
properties/law groupings
integralProps :: forall a. (Show a, Distributive a, Subtractive a, Integral a, FromInteger a, ToInteger a, Signed a, Bounded a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)] Source #
integralUnboundedProps :: forall a. (Show a, Distributive a, Subtractive a, Integral a, FromInteger a, ToInteger a, Signed a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)] Source #
naturalProps :: forall a. (Show a, Distributive a, Integral a, FromInteger a, ToInteger 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, FromRatio a, ToRatio a, Signed a, Normed a a, Metric a a, JoinSemiLattice a) => Gen a -> [(PropertyName, Property)] Source #
fieldProps :: forall a. (CanMeasure a, BoundedLattice 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), Epsilon a, BoundedLattice (Complex a), Divisive a, FromRatio a) => Complex a -> Gen (Complex a) -> [(PropertyName, Property)] Source #
logFieldProps :: forall a. (CanMeasure a, BoundedLattice a, Divisive a) => Gen a -> [(PropertyName, Property)] Source #
field laws
latticeProps :: forall a. CanMeasure a => Gen a -> [(PropertyName, Property)] Source #
lattice laws
spaceProps :: forall s. (Show s, Space s, Monoid s, Eq s, Epsilon (Element s), LowerBoundedField (Element s), UpperBoundedField (Element s), BoundedJoinSemiLattice (Element s), BoundedMeetSemiLattice (Element s)) => Gen s -> [(PropertyName, Property)] Source #
space laws
fieldSpaceProps :: forall s. (Show s, FieldSpace s, Epsilon (Element s)) => Gen s -> [(PropertyName, Property)] Source #
space laws
spaceAlgebraProps :: forall s. (Eq s, Show s, Space s, Subtractive s, Divisive s, CanMeasure (Element s)) => Gen s -> [(PropertyName, Property)] Source #
Interval algebra is not distributive