Ranged values
 data Ord a => Range a = Range {
 lowerBound :: Maybe a
 upperBound :: Maybe a
 rangeOp :: Ord a => (Range a > Range a) > Range a > Range a
 rangeOp2 :: Ord a => (Range a > Range a > Range a) > Range a > Range a > Range a
 mapMonotonic :: (Ord a, Ord b) => (a > b) > Range a > Range b
 rangeMul :: (Ord a, Num a) => Range a > Range a > Range a
 emptyRange :: (Ord a, Num a) => Range a
 fullRange :: Ord a => Range a
 range :: Ord a => a > a > Range a
 rangeByRange :: Ord a => Range a > Range a > Range a
 singletonRange :: Ord a => a > Range a
 naturalRange :: (Ord a, Num a) => Range a
 negativeRange :: (Ord a, Num a) => Range a
 rangeSize :: (Ord a, Num a) => Range a > Maybe a
 isEmpty :: Ord a => Range a > Bool
 isFull :: Ord a => Range a > Bool
 isBounded :: Ord a => Range a > Bool
 isSingleton :: Ord a => Range a > Bool
 isSubRangeOf :: Ord a => Range a > Range a > Bool
 isNatural :: (Ord a, Num a) => Range a > Bool
 isNegative :: (Ord a, Num a) => Range a > Bool
 inRange :: Ord a => a > Range a > Bool
 rangeGap :: (Ord a, Num a) => Range a > Range a > Range a
 (\/) :: Ord a => Range a > Range a > Range a
 liftMaybe2 :: (a > a > a) > Maybe a > Maybe a > Maybe a
 (/\) :: Ord a => Range a > Range a > Range a
 disjoint :: (Ord a, Num a) => Range a > Range a > Bool
 rangeLess :: Ord a => Range a > Range a > Bool
 rangeLessEq :: Ord a => Range a > Range a > Bool
 showBound :: Show a => Maybe a > String
 showRange :: (Show a, Ord a) => Range a > String
 prop_arith1 :: (forall a. Num a => a > a) > Int > Range Int > Property
 prop_arith2 :: (forall a. Num a => a > a > a) > Int > Int > Range Int > Range Int > Property
Documentation
Range  

emptyRange :: (Ord a, Num a) => Range aSource
singletonRange :: Ord a => a > Range aSource
naturalRange :: (Ord a, Num a) => Range aSource
negativeRange :: (Ord a, Num a) => Range aSource
isSingleton :: Ord a => Range a > BoolSource
isNatural :: (Ord a, Num a) => Range a > BoolSource
Checks whether a range is a subrange of the natural numbers.
isNegative :: (Ord a, Num a) => Range a > BoolSource
Checks whether a range is a subrange of the negative numbers.
liftMaybe2 :: (a > a > a) > Maybe a > Maybe a > Maybe aSource
rangeLess :: Ord a => Range a > Range a > BoolSource
r1 `rangeLess` r2:
Checks if all elements of r1
are less than all elements of r2
.