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 +2/−3
- explicit-sharing.cabal +1/−1
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: