| Stability | experimental |
|---|---|
| Maintainer | conal@conal.net |
Data.AddBounds
Description
Add bounds to an ordered type
Documentation
data AddBounds a
Wrap a type into one having new least and greatest elements, preserving the existing ordering.
Instances
| Bounded (AddBounds a) | |
| Enum a => Enum (Behavior a) | |
| Eq a => Eq (AddBounds a) | |
| Eq (Behavior b) | |
| Floating b => Floating (Behavior b) | |
| Fractional b => Fractional (Behavior b) | |
| Integral a => Integral (Behavior a) | |
| Num b => Num (Behavior b) | |
| Ord a => Ord (AddBounds a) | |
| Ord b => Ord (Behavior b) | |
| Read a => Read (AddBounds a) | |
| (Num a, Ord a) => Real (Behavior a) | |
| RealFloat a => RealFloat (Behavior a) | |
| RealFrac a => RealFrac (Behavior a) | |
| Show a => Show (AddBounds a) | |
| Show (Behavior b) | |
| Arbitrary a => Arbitrary (AddBounds a) | |
| CoArbitrary a => CoArbitrary (AddBounds a) | |
| (EqProp a, Eq a) => EqProp (AddBounds a) | |
| AffineSpace t => AffineSpace (AddBounds t) | |
| VectorSpace v => VectorSpace (Behavior v) | |
| AdditiveGroup v => AdditiveGroup (Behavior v) |