mmorph 1.0.4 → 1.0.5

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~basedep ~transformersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, transformers

API changes (from Hackage documentation)

- Control.Monad.Morph: instance Error e => MMonad (ErrorT e)

- Control.Monad.Morph: instance Functor f => MFunctor (Compose f)

- Control.Monad.Morph: instance MFunctor (ErrorT e)

- Control.Monad.Morph: instance MFunctor (Product f)

- Control.Monad.Morph: instance MFunctor (RWST r w s)

- Control.Monad.Morph: instance MFunctor (ReaderT r)

- Control.Monad.Morph: instance MFunctor (StateT s)

- Control.Monad.Morph: instance MFunctor (WriterT w)

- Control.Monad.Morph: instance MFunctor Backwards

- Control.Monad.Morph: instance MFunctor IdentityT

- Control.Monad.Morph: instance MFunctor Lift

- Control.Monad.Morph: instance MFunctor ListT

- Control.Monad.Morph: instance MFunctor MaybeT

- Control.Monad.Morph: instance MMonad (ReaderT r)

- Control.Monad.Morph: instance MMonad IdentityT

- Control.Monad.Morph: instance MMonad ListT

- Control.Monad.Morph: instance MMonad MaybeT

- Control.Monad.Morph: instance Monoid w => MMonad (WriterT w)

- Control.Monad.Trans.Compose: getComposeT :: ComposeT m a -> f (g m) a

- Control.Monad.Trans.Compose: instance (MFunctor f, MonadTrans f, MonadTrans g) => MonadTrans (ComposeT f g)

- Control.Monad.Trans.Compose: instance Alternative (f (g m)) => Alternative (ComposeT f g m)

- Control.Monad.Trans.Compose: instance Applicative (f (g m)) => Applicative (ComposeT f g m)

- Control.Monad.Trans.Compose: instance Foldable (f (g m)) => Foldable (ComposeT f g m)

- Control.Monad.Trans.Compose: instance Functor (f (g m)) => Functor (ComposeT f g m)

- Control.Monad.Trans.Compose: instance Monad (f (g m)) => Monad (ComposeT f g m)

- Control.Monad.Trans.Compose: instance MonadIO (f (g m)) => MonadIO (ComposeT f g m)

- Control.Monad.Trans.Compose: instance MonadPlus (f (g m)) => MonadPlus (ComposeT f g m)

- Control.Monad.Trans.Compose: instance Traversable (f (g m)) => Traversable (ComposeT f g m)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.Error.ErrorT e)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.Except.ExceptT e)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.RWS.Lazy.RWST r w s)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.RWS.Strict.RWST r w s)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.Reader.ReaderT r)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.State.Lazy.StateT s)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.State.Strict.StateT s)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.Writer.Lazy.WriterT w)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Control.Monad.Trans.Writer.Strict.WriterT w)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor (Data.Functor.Product.Product f)

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor Control.Applicative.Backwards.Backwards

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor Control.Applicative.Lift.Lift

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor Control.Monad.Trans.Identity.IdentityT

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor Control.Monad.Trans.List.ListT

+ Control.Monad.Morph: instance Control.Monad.Morph.MFunctor Control.Monad.Trans.Maybe.MaybeT

+ Control.Monad.Morph: instance Control.Monad.Morph.MMonad (Control.Monad.Trans.Except.ExceptT e)

+ Control.Monad.Morph: instance Control.Monad.Morph.MMonad (Control.Monad.Trans.Reader.ReaderT r)

+ Control.Monad.Morph: instance Control.Monad.Morph.MMonad Control.Monad.Trans.Identity.IdentityT

+ Control.Monad.Morph: instance Control.Monad.Morph.MMonad Control.Monad.Trans.List.ListT

+ Control.Monad.Morph: instance Control.Monad.Morph.MMonad Control.Monad.Trans.Maybe.MaybeT

+ Control.Monad.Morph: instance Control.Monad.Trans.Error.Error e => Control.Monad.Morph.MMonad (Control.Monad.Trans.Error.ErrorT e)

+ Control.Monad.Morph: instance GHC.Base.Functor f => Control.Monad.Morph.MFunctor (Data.Functor.Compose.Compose f)

+ Control.Monad.Morph: instance GHC.Base.Monoid w => Control.Monad.Morph.MMonad (Control.Monad.Trans.Writer.Lazy.WriterT w)

+ Control.Monad.Morph: instance GHC.Base.Monoid w => Control.Monad.Morph.MMonad (Control.Monad.Trans.Writer.Strict.WriterT w)

+ Control.Monad.Trans.Compose: [getComposeT] :: ComposeT m a -> f (g m) a

+ Control.Monad.Trans.Compose: instance (Control.Monad.Morph.MFunctor f, Control.Monad.Trans.Class.MonadTrans f, Control.Monad.Trans.Class.MonadTrans g) => Control.Monad.Trans.Class.MonadTrans (Control.Monad.Trans.Compose.ComposeT f g)

+ Control.Monad.Trans.Compose: instance Control.Monad.IO.Class.MonadIO (f (g m)) => Control.Monad.IO.Class.MonadIO (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance Data.Foldable.Foldable (f (g m)) => Data.Foldable.Foldable (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance Data.Traversable.Traversable (f (g m)) => Data.Traversable.Traversable (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance GHC.Base.Alternative (f (g m)) => GHC.Base.Alternative (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance GHC.Base.Applicative (f (g m)) => GHC.Base.Applicative (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance GHC.Base.Functor (f (g m)) => GHC.Base.Functor (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance GHC.Base.Monad (f (g m)) => GHC.Base.Monad (Control.Monad.Trans.Compose.ComposeT f g m)

+ Control.Monad.Trans.Compose: instance GHC.Base.MonadPlus (f (g m)) => GHC.Base.MonadPlus (Control.Monad.Trans.Compose.ComposeT f g m)

Files

mmorph.cabal +2/−2

mmorph.cabal view

@@ -1,5 +1,5 @@ Name: mmorph-Version: 1.0.4+Version: 1.0.5 Cabal-Version: >= 1.8.0.2 Build-Type: Simple License: BSD3@@ -20,6 +20,6 @@     Hs-Source-Dirs: src     Build-Depends:         base         >= 4       && < 5  ,-        transformers >= 0.2.0.0 && < 0.5+        transformers >= 0.2.0.0 && < 0.6     Exposed-Modules: Control.Monad.Morph, Control.Monad.Trans.Compose     GHC-Options: -O2