úÎ*&&O$      !"#6non-portable (ScopedTypeVariables, DeriveDataTypeable) provisionalmasahiro.sakai@gmail.comNone&Endpoints of intervals positive infinity (+")  finite value negative infinity (-")  Interval Lower bound of the interval Upper bound of the interval HLower bound of the interval and whether it is included in the interval. 4 The result is convenient to use as an argument for  . HUpper bound of the interval and whether it is included in the interval. 4 The result is convenient to use as an argument for  . smart constructor for  closed interval [l,u] !left-open right-closed interval (l,u] !left-closed right-open interval [l, u) open interval (l, u) whole real number line (-", ") empty (contradicting) interval singleton set [x,x] intersection of two intervals convex hull of two intervals Is the interval empty?  Is the element in the interval? $Is the element not in the interval? Is this a subset?  (i1  i2) tells whether i1 is a subset of i2. 7Is this a proper subset? (ie. a subset but not equal). 7Width of a interval. Width of an unbounded interval is  undefined. Cpick up an element from the interval if the interval is not empty. For all x in X, y in Y. x $ y For all x in X, y in Y. x % y For all x in X, y in Y. x & y For all x in X, y in Y. x ' y For all x in X, y in Y. x ( y Does there exist an x in X, y in Y such that x $ y? Does there exist an x in X, y in Y such that x % y? !Does there exist an x in X, y in Y such that x & y? "Does there exist an x in X, y in Y such that x ' y? #Does there exist an x in X, y in Y such that x ( y? )Combining two Maybe values using given function. *is the number integral?  - isInteger x = fromInteger (round x) == x F+ (lower bound and whether it is included 'upper bound and whether it is included  lower bound l  upper bound u  lower bound l  upper bound u  lower bound l  upper bound u  lower bound l  upper bound u  !"#,-./0123456789)*:;<=>?@ABCDEFGHIJ$  !"#$  !"#B+  !"#,-./0123456789)*:;<=>?@ABCDEFGHIJK      !"#$%&'(&')&'*&'+&',-./0123456789:;<=>?@ABCDEFGHIJKLMNdata-interval-0.3.0 Data.IntervalEndPointPosInfFiniteNegInfInterval lowerBound upperBound lowerBound' upperBound'interval<=..<=<..<=<=..<<..<wholeempty singleton intersectionhullnullmember notMember isSubsetOfisProperSubsetOfwidthpickup=!>!=?>?ghc-prim GHC.Classes<<===>=> combineMaybe isIntegerappPrecappPrec1 scaleIntervalcmpUBcmpLBisFinitenegateEndPoint scaleInf' scaleEndPointmulInf' mulEndPointrecipLBrecipUB recipEndPoint$fHashableEndPoint$fNFDataEndPoint$fFunctorEndPoint$fBoundedEndPoint$fFractionalInterval $fNumInterval$fDataInterval$fReadInterval$fShowInterval$fBoundedLatticeInterval $fBoundedMeetSemiLatticeInterval $fBoundedJoinSemiLatticeInterval$fLatticeInterval$fMeetSemiLatticeInterval$fJoinSemiLatticeInterval$fHashableInterval$fNFDataInterval