packages feed

interval-algebra 0.8.1 → 0.8.2

raw patch · 4 files changed

+8/−4 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- IntervalAlgebra.PairedInterval: instance (GHC.Classes.Ord a, GHC.Show.Show a, GHC.Classes.Eq b, GHC.Base.Monoid b) => IntervalAlgebra.IntervalCombinable (IntervalAlgebra.PairedInterval.PairedInterval b) a
+ IntervalAlgebra.PairedInterval: instance (GHC.Classes.Ord a, GHC.Classes.Eq b, GHC.Base.Monoid b) => IntervalAlgebra.IntervalCombinable (IntervalAlgebra.PairedInterval.PairedInterval b) a
- IntervalAlgebra.PairedInterval: intervals :: (Ord a, Show a) => [PairedInterval b a] -> [Interval a]
+ IntervalAlgebra.PairedInterval: intervals :: Ord a => [PairedInterval b a] -> [Interval a]

Files

ChangeLog.md view
@@ -1,5 +1,9 @@ # Changelog for interval-algebra +## 0.8.2 ++* Removes `Show` constraint from `intervals` function in `PairIntervals`.+ ## 0.8.1  * Generalizes `gaps`, `gapsWithin`, and `combineIntervals` to take general `Intervallic` inputs but still return `Interval`s.
interval-algebra.cabal view
@@ -1,6 +1,6 @@ cabal-version:  2.2 name:           interval-algebra-version:        0.8.1+version:        0.8.2 synopsis:       An implementation of Allen's interval algebra for temporal logic description:    Please see the README on GitHub at <https://github.com/novisci/interval-algebra> category:       Algebra,Time
src/IntervalAlgebra.hs view
@@ -655,7 +655,7 @@  {- | The @'IntervalCombinable'@ typeclass provides methods for (possibly) combining-two @i a@s to form a @'Maybe' 'i' a@, or in case of @><@, a possibly different +two @i a@s to form a @'Maybe' i a@, or in case of @><@, a possibly different  @Intervallic@ type. -} class (Intervallic i a) => IntervalCombinable i a where
src/IntervalAlgebra/PairedInterval.hs view
@@ -51,7 +51,7 @@ instance (Show b, Show a, Ord a) => Show (PairedInterval b a) where     show x = "{" ++ show (getInterval x) ++ ", " ++ show (getPairData x) ++ "}" -instance (Ord a, Show a, Eq b, Monoid b) => +instance (Ord a, Eq b, Monoid b) =>            IntervalCombinable (PairedInterval b) a where     (><) x y = fmap (makePairedInterval mempty) (getInterval x >< getInterval y) @@ -74,7 +74,7 @@ equalPairData x y = getPairData x == getPairData y  -- | Gets the intervals from a list of paired intervals.-intervals :: (Ord a, Show a) => [PairedInterval b a] -> [Interval a]+intervals :: (Ord a) => [PairedInterval b a] -> [Interval a] intervals = map getInterval  -- | Empty is used to trivially lift an @Interval a@ into a @PairedInterval@.