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) |