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 sub-range of the natural numbers.
isNegative :: (Ord a, Num a) => Range a -> BoolSource
Checks whether a range is a sub-range 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
.