Language.Paraiso.Interval

an Interval is a pair of lower and upper, representing some interval in ordered system. The lower bound is inclusive and the upper bound is exclusive: (lower <= x < upper) . The intersection of two intervals are also interval but the union of two intervals are not, so Interval constitute a PiSystem.

Documentation

data Interval a

Constructors

Empty

an empty interval.

Interval

a non-empty interval.

Fields

lower :: a

upper :: a

Instances

Eq a => Eq (Interval a)

Show a => Show (Interval a)

Ord a => PiSystem (Interval a)