Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data Interval a
- data IOrdering
- cmp :: (Enum a, Ord a) => Interval a -> Interval a -> IOrdering
- cmp' :: (Enum a, Ord a) => Interval a -> Interval a -> Interval a -> IOrdering
- (...) :: (Enum a, Ord a) => a -> a -> Interval a
- (+/-) :: (Enum a, Num a, Ord a) => a -> a -> Interval a
- interval :: (Enum a, Ord a) => a -> a -> Interval a
- empty :: (Enum a, Ord a) => Interval a
- singleton :: (Enum a, Ord a) => a -> Interval a
- inf :: (Enum a, Ord a) => Interval a -> a
- sup :: (Enum a, Ord a) => Interval a -> a
- valid :: (Enum a, Ord a) => Interval a -> Bool
- invalid :: (Enum a, Ord a) => Interval a -> Bool
- isEmpty :: (Enum a, Ord a) => Interval a -> Bool
- singular :: (Enum a, Ord a) => Interval a -> Bool
- toList :: (Enum a, Ord a) => Interval a -> [a]
- member :: (Enum a, Ord a) => a -> Interval a -> Bool
- notMember :: (Enum a, Ord a) => a -> Interval a -> Bool
- hull :: (Enum a, Ord a) => Interval a -> Interval a -> Interval a
- contains :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- isSubsetOf :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- adjacent :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (<!) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (<=!) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (==!) :: (Enum a, Eq a, Ord a) => Interval a -> Interval a -> Bool
- (/=!) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (>!) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (>=!) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (<?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (<=?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (==?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (/=?) :: (Enum a, Eq a, Ord a) => Interval a -> Interval a -> Bool
- (>?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
- (>=?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool
Documentation
A Discrete Interval.
(==!) :: (Enum a, Eq a, Ord a) => Interval a -> Interval a -> Bool Source #
For all x
in X
, y
in Y
. x
==
y
(<?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool Source #
Does there exist an x
in X
, y
in Y
such that x
?<
y
(<=?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool Source #
Does there exist an x
in X
, y
in Y
such that x
?<=
y
(==?) :: (Enum a, Ord a) => Interval a -> Interval a -> Bool Source #
Does there exist an x
in X
, y
in Y
such that x
?==
y
(/=?) :: (Enum a, Eq a, Ord a) => Interval a -> Interval a -> Bool Source #
Does there exist an x
in X
, y
in Y
such that x
?/=
y