Numeric.Interval.Infinite

The Inf data type

data Inf c

stepDown

stepUp

toFinite

enumIsInf

class InfBound c

the Interval data type

data Interval c

startPoint

endPoint

toPair

fromPair

interval

point

wholeInterval

negInfTo

toPosInf

toBounded

toBoundedPair

enumBoundedPair

intervalMember

singular

plural

canonicalInterval

intervalNub

intervalInvert

intervalUnion

intervalIntersect

intervalDelete

intervalExclusion

areIntersecting

areConsecutive

class SubBounded dat i

Predicates on Intervals

envelop

intervalSpanAll

intLength

enumLength

intervalIntSize

intervalEnumSize

isWithin

intervalHasEnumInf

intervalIsInfinite

The Set data type

data Set c

empty

whole

fromList

fromPairs

fromPoints

range

singleton

map

toList

intSize

enumSize

cardinality

elems

member

null

isWhole

isSingleton

Set Operators for non-monadic Sets

invert

exclusive

union

unions

intersections

intersect

delete

Miscelaneous

innerProduct