data-interval-1.0.1: Interval arithmetic for both open and closed intervals

Index

/=!Data.Interval
/=?Data.Interval
/=??Data.Interval
<!Data.Interval
<..<Data.Interval
<..<=Data.Interval
<=!Data.Interval
<=..<Data.Interval
<=..<=Data.Interval
<=?Data.Interval
<=??Data.Interval
<?Data.Interval
<??Data.Interval
==!Data.Interval
==?Data.Interval
==??Data.Interval
>!Data.Interval
>=!Data.Interval
>=?Data.Interval
>=??Data.Interval
>?Data.Interval
>??Data.Interval
emptyData.Interval
EndPointData.Interval
ExtendedData.Interval
FiniteData.Interval
hullData.Interval
hullsData.Interval
intersectionData.Interval
intersectionsData.Interval
IntervalData.Interval
intervalData.Interval
isProperSubsetOfData.Interval
isSubsetOfData.Interval
lowerBoundData.Interval
lowerBound'Data.Interval
memberData.Interval
NegInfData.Interval
notMemberData.Interval
nullData.Interval
pickupData.Interval
PosInfData.Interval
simplestRationalWithinData.Interval
singletonData.Interval
upperBoundData.Interval
upperBound'Data.Interval
wholeData.Interval
widthData.Interval