- fix
Data.IntegerInterval.width
(#38, thanks to ncfavier) - add
Data.IntegerInterval.memberCount
(#44, thanks to ncfavier) - add
instance Ord
forInterval
,IntervalSet
andIntervalMap
(#41, thanks to googleson78) - fix
Data.IntervalSet.insert
(#43)
- fix boundary comparison in
relate
(#30, thanks to marcosh) - fix behaviour of
lattices
flag
- introduce operations for Allen's interval algebra (#18, thanks to marcosh)
- make
recip
precise when 0 is not an interior point (#21) - add
instance Storable
forInterval
(#25) - add
instance Floating
forInterval
(#26)
- change internal representation of
Interval
andIntegerInterval
to reduce memory footprint (#7, thanks Bodigrim) - introduce
Boundary
type (#10, thanks Bodigrim) - export
isSingleton
function forInterval
andIntegerInterval
(#13) - remove deprecated
EndPoint
data type (#14, thanks Bodigrim)
- support lattices-2.0 (Thanks to Bodigrim).
- move definitions of
Interval
andIntegerInterval
data types into internal modules and abstract away representations from the rest of modules (Thanks to Bodigrim).
- add
Data.IntervalSet
,Data.IntervalMap.Lazy
,Data.IntervalMap.Strict
modules - add new function
mapMonotonic
toData.Interval
andData.IntegerInterval
- add new function
isConnected
toData.Interval
.
- add
Data.IntegerInterval
- use extended-reals >=0.2
EndPoint
is deprecated. UseExtended
instead.
- remove unnecessary
Real
constraint from comparison operators.
- remove unnecessary Num constraint from bunch of constructors and operations:
interval
,(<=..<=)
,(<..<=)
,(<=..<)
,(<..<)
,whole
,empty
,singleton
,intersection
,intersections
,hull
,hulls
. Thanks to Tad Doxsee for pointing out that.
- use extended-reals package for representing endpoints
- add (experimental) comparison operators that produce witnesses:
(<??)
,(<=??)
,(==??)
,(>=??)
,(>??)
- add
hulls, intersections :: (Num r, Ord r) => [Interval r] -> Interval r
- fix a bug of
(<=?)
operator
- fix dependency issue with QuickCheck and test-framework-quickcheck2
- add
simplestRationalWithin :: RealFrac r => Interval r -> Maybe Rational