comonad-extras 0.1.3 → 0.2

raw patch · 2 files changed

+17/−7 lines, 2 filesdep ~comonaddep ~comonad-transformersdep ~comonads-fdPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: comonad, comonad-transformers, comonads-fd, distributive, semigroupoids, semigroups

API changes (from Hackage documentation)

Files

• Control/Comonad/Store/MemoTrie.hs +10/−0
• comonad-extras.cabal +7/−7

@@ -37,7 +37,10 @@ import Control.Comonad.Env.Class import Control.Comonad.Traced.Class import Data.Functor.Identity+import Data.Functor.Apply import Data.MemoTrie+import Data.Semigroup+import Data.Monoid  #ifdef __GLASGOW_HASKELL__ import Data.Typeable@@ -75,6 +78,13 @@  instance (Functor w, HasTrie s) => Functor (StoreT s w) where   fmap f (StoreT wf s) = StoreT (fmap (fmap f) wf) s++instance (Apply w, Semigroup s, HasTrie s) => Apply (StoreT s w) where+  StoreT ff m <.> StoreT fa n = StoreT ((<*>) <$> ff <.> fa) (m <> n)++instance (Applicative w, Semigroup s, Monoid s, HasTrie s) => Applicative (StoreT s w) where+  pure a = StoreT (pure (pure a)) mempty+  StoreT ff m <*> StoreT fa n = StoreT ((<*>) <$> ff <*> fa) (m `mappend` n)  instance (Extend w, HasTrie s) => Extend (StoreT s w) where   duplicate (StoreT wf s) = StoreT (extend (trie . StoreT) wf) s

@@ -1,6 +1,6 @@ name:          comonad-extras category:      Control, Comonads-version:       0.1.3+version:       0.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -26,12 +26,12 @@     array >= 0.3.0.2 && < 0.4,     base >= 4 && < 4.4,     containers >= 0.4 && < 0.5,-    comonad >= 1.0.1 && < 1.1,-    comonad-transformers >= 1.5.0.1 && < 1.6,-    comonads-fd >= 1.5.0.1 && < 1.6,-    distributive >= 0.1 && < 0.2,-    semigroupoids >= 1.0 && < 1.2,-    semigroups >= 0.3.4 && < 0.4,+    comonad >= 1.1 && < 1.2,+    comonad-transformers >= 1.6.1 && < 1.7,+    comonads-fd >= 1.6.1 && < 1.7,+    distributive >= 0.2 && < 0.3,+    semigroupoids >= 1.2.1 && < 1.3,+    semigroups >= 0.5 && < 0.6,     transformers >= 0.2.0 && <= 0.3,     MemoTrie >= 0.4.9 && < 0.5