comonad-transformers 1.5.0.2 → 1.5.0.4
raw patch · 2 files changed
+6/−4 lines, 2 filesdep −MemoTriedep ~semigroupoidsPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
Dependencies removed: MemoTrie
Dependency ranges changed: semigroupoids
API changes (from Hackage documentation)
+ Control.Comonad.Trans.Traced: instance Distributive w => Distributive (TracedT m w)
Files
Control/Comonad/Trans/Traced.hs view
@@ -32,12 +32,12 @@ import Control.Comonad import Control.Comonad.Hoist.Class import Control.Comonad.Trans.Class+import Data.Distributive import Data.Functor import Data.Functor.Apply import Data.Functor.Identity import Data.Monoid import Data.Semigroup- import Data.Typeable type Traced m = TracedT m Identity@@ -71,6 +71,9 @@ instance (Semigroup m, Monoid m) => ComonadHoist (TracedT m) where cohoist = traced . extract . runTracedT++instance Distributive w => Distributive (TracedT m w) where+ distribute = TracedT . fmap (\tma m -> fmap ($m) tma) . collect runTracedT trace :: (Comonad w, Monoid m) => m -> TracedT m w a -> a trace m (TracedT wf) = extract wf m
comonad-transformers.cabal view
@@ -1,6 +1,6 @@ name: comonad-transformers category: Control, Comonads-version: 1.5.0.2+version: 1.5.0.4 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -25,10 +25,9 @@ library build-depends: base >= 4 && < 4.4,- MemoTrie >= 0.4.9 && < 0.5, comonad >= 1.0.1 && < 1.1, distributive >= 0.1 && < 0.2,- semigroupoids >= 1.0 && < 1.2,+ semigroupoids >= 1.1.1 && < 1.2, semigroups >= 0.3.4 && < 0.4, transformers >= 0.2.0 && <= 0.3