di-monad 1.3 → 1.3.1

raw patch · 3 files changed

+7/−3 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ Di.Monad: instance Control.Monad.Error.Class.MonadError e m => Control.Monad.Error.Class.MonadError e (Di.Monad.DiT level path msg m)

- Di.Monad: hoistDiT :: (forall x. n x -> m x) -> (forall x. m x -> n x) -> (DiT level path msg m a -> DiT level path msg n a)

+ Di.Monad: hoistDiT :: (forall x. n x -> m x) -> (forall x. m x -> n x) -> DiT level path msg m a -> DiT level path msg n a

Files

CHANGELOG.md +4/−0
di-monad.cabal +1/−1
lib/Di/Monad.hs +2/−2

CHANGELOG.md view

@@ -1,3 +1,7 @@+# Version 1.3.1++* Instance `MonadError e m => MonadError e (DiT level path msg m)`+ # Version 1.3  * The `MonadThrow` instance for `DiT` doesn't log exceptions automatically any

di-monad.cabal view

@@ -1,5 +1,5 @@ name: di-monad-version: 1.3+version: 1.3.1 author: Renzo Carbonara maintainer: renλren.zone copyright: Renzo Carbonara 2017-2018

lib/Di/Monad.hs view

@@ -63,7 +63,7 @@ import Control.Concurrent.STM (STM, atomically) import qualified Control.Monad.Catch as Ex import Control.Monad.Cont (MonadCont, ContT(ContT))-import Control.Monad.Except (ExceptT(ExceptT))+import Control.Monad.Except (ExceptT(ExceptT), MonadError) import Control.Monad.Fail (MonadFail) import Control.Monad.Fix (MonadFix) import Control.Monad.IO.Class (MonadIO, liftIO)@@ -111,7 +111,7 @@   = DiT (ReaderT (Di level path msg, H STM m) m a)   deriving (Functor, Applicative, Alternative, Monad, MonadIO,             MonadFail, MonadFix, MonadZip, MonadPlus, MonadCont,-            MonadState s, MonadWriter w)+            MonadState s, MonadWriter w, MonadError e)  -- | Build a 'DiT'. --