Data.Interval

Type Limit

data Limit x

data Adherence

flip_limit

Comparing Limits

data LL x

data HH x

Type Interval

data Interval x

low

high

interval

fmap

fmap_unsafe

limits

point

flip_limits

compare_without_adherence

locate

within

into

onto

(<=..<=)

(<..<=)

(<=..<)

(<..<)

Type Position

data Position

position

(..<<..)

(..>>..)

(..<..)

(..>..)

(..<=..)

(..>=..)

Merge

union

intersection

span

Type Unlimitable

data Unlimitable x

unlimited

unlimit

(<..)

(<=..)

(..<)

(..<=)

Type Pretty

data Pretty x