mmorph 1.1.0 → 1.1.1

raw patch · 3 files changed

+9/−2 lines, 3 filesdep ~transformers-compat

Dependency ranges changed: transformers-compat

Files

CHANGELOG.md +4/−0
mmorph.cabal +2/−2
src/Control/Monad/Morph.hs +3/−0

CHANGELOG.md view

@@ -1,3 +1,7 @@+1.1.1++* Increase upper bound on `transformers-compat`+ 1.1.0  * BREAKING CHANGE: Enable `PolyKinds`

mmorph.cabal view

@@ -1,5 +1,5 @@ Name: mmorph-Version: 1.1.0+Version: 1.1.1 Cabal-Version: >= 1.8.0.2 Build-Type: Simple License: BSD3@@ -23,6 +23,6 @@         base                >= 4       && < 5  ,         mtl                 >= 2.1     && < 2.3,         transformers        >= 0.2.0.0 && < 0.6,-        transformers-compat >= 0.3     && < 0.6+        transformers-compat >= 0.3     && < 0.7     Exposed-Modules: Control.Monad.Morph, Control.Monad.Trans.Compose     GHC-Options: -O2

src/Control/Monad/Morph.hs view

@@ -106,6 +106,9 @@ class MFunctor t where     {-| Lift a monad morphism from @m@ to @n@ into a monad morphism from         @(t m)@ to @(t n)@++        The first argument to `hoist` must be a monad morphism, even though the+        type system does not enforce this     -}     hoist :: (Monad m) => (forall a . m a -> n a) -> t m b -> t n b