packages feed

monad-control 1.0.0.4 → 1.0.0.5

raw patch · 2 files changed

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

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.Trans.Control: instance [safe] (Error e, MonadBaseControl b m) => MonadBaseControl b (ErrorT e m)
- Control.Monad.Trans.Control: instance [safe] (Monoid w, MonadBaseControl b m) => MonadBaseControl b (RWST r w s m)
- Control.Monad.Trans.Control: instance [safe] (Monoid w, MonadBaseControl b m) => MonadBaseControl b (WriterT w m)
- Control.Monad.Trans.Control: instance [safe] Error e => MonadTransControl (ErrorT e)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl ((->) r) ((->) r)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl (Either e) (Either e)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl (ST s) (ST s)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl IO IO
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl Identity Identity
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl Maybe Maybe
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl STM STM
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl [] []
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl b m => MonadBaseControl b (ExceptT e m)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl b m => MonadBaseControl b (IdentityT m)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl b m => MonadBaseControl b (ListT m)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl b m => MonadBaseControl b (MaybeT m)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl b m => MonadBaseControl b (ReaderT r m)
- Control.Monad.Trans.Control: instance [safe] MonadBaseControl b m => MonadBaseControl b (StateT s m)
- Control.Monad.Trans.Control: instance [safe] MonadTransControl (ExceptT e)
- Control.Monad.Trans.Control: instance [safe] MonadTransControl (ReaderT r)
- Control.Monad.Trans.Control: instance [safe] MonadTransControl (StateT s)
- Control.Monad.Trans.Control: instance [safe] MonadTransControl IdentityT
- Control.Monad.Trans.Control: instance [safe] MonadTransControl ListT
- Control.Monad.Trans.Control: instance [safe] MonadTransControl MaybeT
- Control.Monad.Trans.Control: instance [safe] Monoid w => MonadTransControl (RWST r w s)
- Control.Monad.Trans.Control: instance [safe] Monoid w => MonadTransControl (WriterT w)
+ Control.Monad.Trans.Control: instance (Control.Monad.Trans.Error.Error e, Control.Monad.Trans.Control.MonadBaseControl b m) => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Error.ErrorT e m)
+ Control.Monad.Trans.Control: instance (GHC.Base.Monoid w, Control.Monad.Trans.Control.MonadBaseControl b m) => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.RWS.Lazy.RWST r w s m)
+ Control.Monad.Trans.Control: instance (GHC.Base.Monoid w, Control.Monad.Trans.Control.MonadBaseControl b m) => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.RWS.Strict.RWST r w s m)
+ Control.Monad.Trans.Control: instance (GHC.Base.Monoid w, Control.Monad.Trans.Control.MonadBaseControl b m) => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Writer.Lazy.WriterT w m)
+ Control.Monad.Trans.Control: instance (GHC.Base.Monoid w, Control.Monad.Trans.Control.MonadBaseControl b m) => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Writer.Strict.WriterT w m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl ((->) r) ((->) r)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl (Control.Monad.ST.Lazy.Imp.ST s) (Control.Monad.ST.Lazy.Imp.ST s)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl (Data.Either.Either e) (Data.Either.Either e)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl (GHC.ST.ST s) (GHC.ST.ST s)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl Data.Functor.Identity.Identity Data.Functor.Identity.Identity
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl GHC.Base.Maybe GHC.Base.Maybe
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl GHC.Conc.Sync.STM GHC.Conc.Sync.STM
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl GHC.Types.IO GHC.Types.IO
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl [] []
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Except.ExceptT e m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Identity.IdentityT m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.List.ListT m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Maybe.MaybeT m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.Reader.ReaderT r m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.State.Lazy.StateT s m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.Trans.State.Strict.StateT s m)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.Except.ExceptT e)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.Reader.ReaderT r)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.State.Lazy.StateT s)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.State.Strict.StateT s)
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl Control.Monad.Trans.Identity.IdentityT
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl Control.Monad.Trans.List.ListT
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Control.MonadTransControl Control.Monad.Trans.Maybe.MaybeT
+ Control.Monad.Trans.Control: instance Control.Monad.Trans.Error.Error e => Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.Error.ErrorT e)
+ Control.Monad.Trans.Control: instance GHC.Base.Monoid w => Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.RWS.Lazy.RWST r w s)
+ Control.Monad.Trans.Control: instance GHC.Base.Monoid w => Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.RWS.Strict.RWST r w s)
+ Control.Monad.Trans.Control: instance GHC.Base.Monoid w => Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.Writer.Lazy.WriterT w)
+ Control.Monad.Trans.Control: instance GHC.Base.Monoid w => Control.Monad.Trans.Control.MonadTransControl (Control.Monad.Trans.Writer.Strict.WriterT w)
+ Control.Monad.Trans.Control: type family StM m a :: *;
+ Control.Monad.Trans.Control: }
- Control.Monad.Trans.Control: class MonadBase b m => MonadBaseControl b m | m -> b where type family StM m a :: *
+ Control.Monad.Trans.Control: class MonadBase b m => MonadBaseControl b m | m -> b where type StM m a :: * where {
- Control.Monad.Trans.Control: class MonadTrans t => MonadTransControl t where type family StT t a :: *
+ Control.Monad.Trans.Control: class MonadTrans t => MonadTransControl t where type StT t a :: * where {

Files

CHANGELOG view
@@ -1,3 +1,8 @@+1.0.0.5++* Support transformers-0.5 & ransformers-compat-0.5.*.++ 1.0.0.4  * Support transformers-compat-0.4.*.@@ -30,6 +35,12 @@   and deconstructors for your monad transformers or monad.  * Add the embed, embed_ and liftBaseOpDiscard functions.+++0.3.3.1++* Unconditionally add ExceptT instances using transformers-compat.+  Courtesy of Adam Bergmark.   0.3.3.0
monad-control.cabal view
@@ -1,5 +1,5 @@ Name:                monad-control-Version:             1.0.0.4+Version:             1.0.0.5 Synopsis:            Lift control operations, like exception catching, through monad transformers License:             BSD3 License-file:        LICENSE@@ -42,8 +42,8 @@    Build-depends: base                 >= 4.5   && < 5                , stm                  >= 2.3   && < 3-               , transformers         >= 0.2   && < 0.5-               , transformers-compat  >= 0.3   && < 0.5+               , transformers         >= 0.2   && < 0.6+               , transformers-compat  >= 0.3   && < 0.6                , transformers-base    >= 0.4.4 && < 0.5    Ghc-options: -Wall