Data.AddBounds

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.

Constructors

MinBound

NoBound a

MaxBound

Instances

Bounded (AddBounds a)

Eq a => Eq (AddBounds a)

Ord a => Ord (AddBounds a)

Read a => Read (AddBounds a)

Show a => Show (AddBounds a)

Arbitrary a => Arbitrary (AddBounds a)

CoArbitrary a => CoArbitrary (AddBounds a)

(EqProp a, Eq a) => EqProp (AddBounds a)

AffineSpace t => AffineSpace (AddBounds t)