monad-coroutine 0.9.0.2 → 0.9.0.3
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: transformers
API changes (from Hackage documentation)
+ Control.Monad.Coroutine.Nested: type family Parent c :: * -> *;
+ Control.Monad.Coroutine.Nested: }
- Control.Monad.Coroutine: liftBinder :: (Functor s, Monad m) => PairBinder m -> PairBinder (Coroutine s m)
+ Control.Monad.Coroutine: liftBinder :: forall s m. (Functor s, Monad m) => PairBinder m -> PairBinder (Coroutine s m)
- Control.Monad.Coroutine: mapFirstSuspension :: (Functor s, Monad m) => (forall y. s y -> s y) -> Coroutine s m x -> Coroutine s m x
+ Control.Monad.Coroutine: mapFirstSuspension :: forall s m x. (Functor s, Monad m) => (forall y. s y -> s y) -> Coroutine s m x -> Coroutine s m x
- Control.Monad.Coroutine: mapMonad :: (Functor s, Monad m, Monad m') => (forall y. m y -> m' y) -> Coroutine s m x -> Coroutine s m' x
+ Control.Monad.Coroutine: mapMonad :: forall s m m' x. (Functor s, Monad m, Monad m') => (forall y. m y -> m' y) -> Coroutine s m x -> Coroutine s m' x
- Control.Monad.Coroutine: merge :: (Monad m, Functor s) => (forall y. [m y] -> m [y]) -> (forall y. [s y] -> s [y]) -> [Coroutine s m x] -> Coroutine s m [x]
+ Control.Monad.Coroutine: merge :: forall s m x. (Monad m, Functor s) => (forall y. [m y] -> m [y]) -> (forall y. [s y] -> s [y]) -> [Coroutine s m x] -> Coroutine s m [x]
- Control.Monad.Coroutine: weave :: (Monad m, Functor s1, Functor s2, Functor s3) => PairBinder m -> WeaveStepper s1 s2 s3 m x y z -> Weaver s1 s2 s3 m x y z
+ Control.Monad.Coroutine: weave :: forall s1 s2 s3 m x y z. (Monad m, Functor s1, Functor s2, Functor s3) => PairBinder m -> WeaveStepper s1 s2 s3 m x y z -> Weaver s1 s2 s3 m x y z
- Control.Monad.Coroutine.Nested: class Functor c => ChildFunctor c where type family Parent c :: * -> *
+ Control.Monad.Coroutine.Nested: class Functor c => ChildFunctor c where type Parent c :: * -> * where {
- Control.Monad.Coroutine.Nested: liftAncestor :: (Monad m, Functor a, AncestorFunctor a d) => Coroutine a m x -> Coroutine d m x
+ Control.Monad.Coroutine.Nested: liftAncestor :: forall m a d x. (Monad m, Functor a, AncestorFunctor a d) => Coroutine a m x -> Coroutine d m x
- Control.Monad.Coroutine.Nested: liftParent :: (Monad m, Functor p, ChildFunctor c, p ~ Parent c) => Coroutine p m x -> Coroutine c m x
+ Control.Monad.Coroutine.Nested: liftParent :: forall m p c x. (Monad m, Functor p, ChildFunctor c, p ~ Parent c) => Coroutine p m x -> Coroutine c m x
- Control.Monad.Coroutine.Nested: pogoStickNested :: (Functor s1, Functor s2, Monad m) => (s2 (Coroutine (Sum s1 s2) m x) -> Coroutine (Sum s1 s2) m x) -> Coroutine (Sum s1 s2) m x -> Coroutine s1 m x
+ Control.Monad.Coroutine.Nested: pogoStickNested :: forall s1 s2 m x. (Functor s1, Functor s2, Monad m) => (s2 (Coroutine (Sum s1 s2) m x) -> Coroutine (Sum s1 s2) m x) -> Coroutine (Sum s1 s2) m x -> Coroutine s1 m x
Files
- monad-coroutine.cabal +3/−3
monad-coroutine.cabal view
@@ -1,5 +1,5 @@ Name: monad-coroutine-Version: 0.9.0.2+Version: 0.9.0.3 Cabal-Version: >= 1.10 Build-Type: Simple Synopsis: Coroutine monad transformer for suspending and resuming monadic computations@@ -12,7 +12,7 @@ License: GPL License-file: LICENSE.txt-Copyright: (c) 2010-2015 Mario Blazevic+Copyright: (c) 2010-2016 Mario Blazevic Author: Mario Blazevic Maintainer: blamario@yahoo.com Homepage: http://trac.haskell.org/SCC/wiki/monad-coroutine@@ -23,6 +23,6 @@ Library Exposed-Modules: Control.Monad.Coroutine, Control.Monad.Coroutine.SuspensionFunctors, Control.Monad.Coroutine.Nested- Build-Depends: base < 5, transformers >= 0.2 && < 0.5, transformers-compat >= 0.3 && < 0.6, monad-parallel < 1.0+ Build-Depends: base < 5, transformers >= 0.2 && < 0.6, transformers-compat >= 0.3 && < 0.6, monad-parallel < 1.0 if impl(ghc >= 7.0.0) default-language: Haskell2010