monad-control 1.0.0.0 → 1.0.0.1
raw patch · 3 files changed
+16/−11 lines, 3 filesdep +stmdep ~transformers-basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies added: stm
Dependency ranges changed: transformers-base
API changes (from Hackage documentation)
- Control.Monad.Trans.Control: instance (Error e, MonadBaseControl b m) => MonadBaseControl b (ErrorT e m)
- Control.Monad.Trans.Control: instance (Monoid w, MonadBaseControl b m) => MonadBaseControl b (RWST r w s m)
- Control.Monad.Trans.Control: instance (Monoid w, MonadBaseControl b m) => MonadBaseControl b (WriterT w m)
- Control.Monad.Trans.Control: instance Error e => MonadTransControl (ErrorT e)
- Control.Monad.Trans.Control: instance MonadBaseControl ((->) r) ((->) r)
- Control.Monad.Trans.Control: instance MonadBaseControl (Either e) (Either e)
- Control.Monad.Trans.Control: instance MonadBaseControl (ST s) (ST s)
- Control.Monad.Trans.Control: instance MonadBaseControl IO IO
- Control.Monad.Trans.Control: instance MonadBaseControl Identity Identity
- Control.Monad.Trans.Control: instance MonadBaseControl Maybe Maybe
- Control.Monad.Trans.Control: instance MonadBaseControl STM STM
- Control.Monad.Trans.Control: instance MonadBaseControl [] []
- Control.Monad.Trans.Control: instance MonadBaseControl b m => MonadBaseControl b (IdentityT m)
- Control.Monad.Trans.Control: instance MonadBaseControl b m => MonadBaseControl b (ListT m)
- Control.Monad.Trans.Control: instance MonadBaseControl b m => MonadBaseControl b (MaybeT m)
- Control.Monad.Trans.Control: instance MonadBaseControl b m => MonadBaseControl b (ReaderT r m)
- Control.Monad.Trans.Control: instance MonadBaseControl b m => MonadBaseControl b (StateT s m)
- Control.Monad.Trans.Control: instance MonadTransControl (ReaderT r)
- Control.Monad.Trans.Control: instance MonadTransControl (StateT s)
- Control.Monad.Trans.Control: instance MonadTransControl IdentityT
- Control.Monad.Trans.Control: instance MonadTransControl ListT
- Control.Monad.Trans.Control: instance MonadTransControl MaybeT
- Control.Monad.Trans.Control: instance Monoid w => MonadTransControl (RWST r w s)
- Control.Monad.Trans.Control: instance Monoid w => MonadTransControl (WriterT w)
+ 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 (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 (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)
Files
- CHANGELOG +7/−0
- Control/Monad/Trans/Control.hs +6/−9
- monad-control.cabal +3/−2
CHANGELOG view
@@ -1,3 +1,10 @@+1.0.0.1++* Use Safe instead of Trustworthy.++ This requires a dependency on stm.++ 1.0.0.0 * Switch the associated data types StT and StM to associated type synonyms.
Control/Monad/Trans/Control.hs view
@@ -8,7 +8,7 @@ , MultiParamTypeClasses #-} #if __GLASGOW_HASKELL__ >= 702-{-# LANGUAGE Trustworthy #-}+{-# LANGUAGE Safe #-} #endif #if MIN_VERSION_transformers(0,4,0)@@ -61,15 +61,14 @@ import Data.Maybe ( Maybe ) import Data.Either ( Either ) -#if MIN_VERSION_base(4,3,0)-import GHC.Conc.Sync ( STM )-#endif- #if MIN_VERSION_base(4,4,0)-import Control.Monad.ST.Lazy ( ST )-import qualified Control.Monad.ST.Strict as Strict ( ST )+import Control.Monad.ST.Lazy.Safe ( ST )+import qualified Control.Monad.ST.Safe as Strict ( ST ) #endif +-- from stm:+import Control.Monad.STM ( STM )+ -- from transformers: import Control.Monad.Trans.Class ( MonadTrans ) @@ -348,9 +347,7 @@ BASE((->) r) BASE(Identity) -#if MIN_VERSION_base(4,3,0) BASE(STM)-#endif #if MIN_VERSION_base(4,4,0) BASE(Strict.ST s)
monad-control.cabal view
@@ -1,5 +1,5 @@ Name: monad-control-Version: 1.0.0.0+Version: 1.0.0.1 Synopsis: Lift control operations, like exception catching, through monad transformers License: BSD3 License-file: LICENSE@@ -41,7 +41,8 @@ Exposed-modules: Control.Monad.Trans.Control Build-depends: base >= 3 && < 5+ , stm >= 2.3 && < 3+ , transformers-base >= 0.4.3 && < 0.5 , transformers >= 0.2 && < 0.5- , transformers-base >= 0.4.2 && < 0.5 Ghc-options: -Wall