Data.Interval

Interval type

data Interval r

data EndPoint r

Construction

interval

(<=..<=)

(<..<=)

(<=..<)

(<..<)

whole

empty

singleton

Query

null

member

notMember

isSubsetOf

isProperSubsetOf

lowerBound

upperBound

lowerBound'

upperBound'

width

Comparison

(<!)

(<=!)

(==!)

(>=!)

(>!)

(<?)

(<=?)

(==?)

(>=?)

(>?)

Combine

intersection

hull

Operations

pickup

simplestRationalWithin