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

Comparison operators

(<!)

(<=!)

(==!)

(>=!)

(>!)

(<?)

(<=?)

(==?)

(>=?)

(>?)

Comparison operators that produce witnesses (experimental)

(<??)

(<=??)

(==??)

(>=??)

(>??)

Combine

intersection

intersections

hull

hulls

Operations

pickup

simplestRationalWithin