Data.Interval

Interval type

data Interval r

data Extended r

type EndPoint r

Construction

interval

(<=..<=)

(<..<=)

(<=..<)

(<..<)

whole

empty

singleton

Query

null

member

notMember

isSubsetOf

isProperSubsetOf

lowerBound

upperBound

lowerBound'

upperBound'

width

Universal comparison operators

(<!)

(<=!)

(==!)

(>=!)

(>!)

(/=!)

Existential comparison operators

(<?)

(<=?)

(==?)

(>=?)

(>?)

(/=?)

Existential comparison operators that produce witnesses (experimental)

(<??)

(<=??)

(==??)

(>=??)

(>??)

(/=??)

Combine

intersection

intersections

hull

hulls

Operations

pickup

simplestRationalWithin