Data.Interval

data Interval a

data IOrdering

cmp

cmp'

(...)

(+/-)

interval

empty

singleton

inf

sup

valid

invalid

isEmpty

singular

toList

member

notMember

hull

contains

isSubsetOf

adjacent

(<!)

(<=!)

(==!)

(/=!)

(>!)

(>=!)

(<?)

(<=?)

(==?)

(/=?)

(>?)

(>=?)