packages feed

explicit-sharing 0.3.1.1 → 0.3.1.2

raw patch · 2 files changed

+3/−4 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.Sharing: instance (Monad m, Trans m a a) => Trans m (List m a) (List m a)
- Control.Monad.Sharing: instance (Monad m, Trans m a a) => Trans m (List m a) [a]
+ Control.Monad.Sharing: instance (Monad m, Trans m a b) => Trans m (List m a) (List m b)
+ Control.Monad.Sharing: instance (Monad m, Trans m a b) => Trans m (List m a) [b]

Files

Control/Monad/Sharing.hs view
@@ -124,13 +124,12 @@ rest :: MonadPlus m => m (List m a) -> m (List m a) rest ml = do Cons _ xs <- ml; xs -instance (Monad m, Trans m a a) => Trans m (List m a) (List m a)+instance (Monad m, Trans m a b) => Trans m (List m a) (List m b)  where   trans _ Nil         = return Nil   trans f (Cons x xs) = return Cons `ap` f x `ap` f xs -instance (Monad m, Trans m a a) => Trans m (List m a) [a]+instance (Monad m, Trans m a b) => Trans m (List m a) [b]  where   trans _ Nil         = return []   trans f (Cons x xs) = return (:) `ap` join (f x) `ap` join (f xs)-
explicit-sharing.cabal view
@@ -1,5 +1,5 @@ Name:          explicit-sharing-Version:       0.3.1.1+Version:       0.3.1.2 Cabal-Version: >= 1.6 Synopsis:      Explicit Sharing of Monadic Effects Description: