logging-effect 1.3.5 → 1.3.6
raw patch · 3 files changed
+15/−4 lines, 3 files
Files
- Changelog.md +8/−0
- logging-effect.cabal +1/−1
- src/Control/Monad/Log.hs +6/−3
Changelog.md view
@@ -1,3 +1,11 @@+## 1.3.6 -- 2019-09-19++### New++* Added `MonadFail` instances.++---+ ## 1.3.5 -- 2019-09-17 ### Other Changes
logging-effect.cabal view
@@ -1,5 +1,5 @@ name: logging-effect-version: 1.3.5+version: 1.3.6 synopsis: A mtl-style monad transformer for general purpose & compositional logging homepage: https://github.com/ocharles/logging-effect license: BSD3
src/Control/Monad/Log.hs view
@@ -94,6 +94,9 @@ import Control.Monad.Writer.Class (MonadWriter(..)) import Data.Semigroup ((<>)) import Data.Time (UTCTime, getCurrentTime)+#if MIN_VERSION_base(4,9,0)+import qualified Control.Monad.Fail as Fail+#endif #if !MIN_VERSION_base(4, 9, 0) import GHC.SrcLoc (SrcLoc, showSrcLoc) import GHC.Stack@@ -365,7 +368,7 @@ -- side-effect (such as writing to @stdout@, or appending a database table). newtype LoggingT message m a = LoggingT (ReaderT (Handler m message) m a)- deriving (Monad,Applicative,Functor,MonadFix,Alternative,MonadPlus,MonadIO,MonadWriter w,MonadCont,MonadError e,MonadMask,MonadCatch,MonadThrow,MonadState s)+ deriving (Monad,Applicative,Functor,MonadFix,Alternative,MonadPlus,MonadIO,MonadWriter w,MonadCont,MonadError e,MonadMask,MonadCatch,MonadThrow,MonadState s, Fail.MonadFail) instance MonadBase b m => MonadBase b (LoggingT message m) where liftBase = lift . liftBase@@ -554,7 +557,7 @@ -- | A 'MonadLog' handler optimised for pure usage. Log messages are accumulated -- strictly, given that messasges form a 'Monoid'. newtype PureLoggingT log m a = MkPureLoggingT (StateT log m a)- deriving (Functor,Applicative,Monad,MonadFix,MonadCatch,MonadThrow,MonadIO,MonadMask,MonadReader r,MonadWriter w,MonadCont,MonadError e,Alternative,MonadPlus)+ deriving (Functor,Applicative,Monad,MonadFix,MonadCatch,MonadThrow,MonadIO,MonadMask,MonadReader r,MonadWriter w,MonadCont,MonadError e,Alternative,MonadPlus,Fail.MonadFail) instance MonadBase b m => MonadBase b (PureLoggingT message m) where liftBase = lift . liftBase@@ -620,7 +623,7 @@ newtype DiscardLoggingT message m a = DiscardLoggingT {discardLogging :: m a -- ^ Run a 'MonadLog' computation by throwing away all log requests. }- deriving (Functor,Applicative,Monad,MonadFix,MonadCatch,MonadThrow,MonadIO,MonadMask,MonadReader r,MonadWriter w,MonadCont,MonadError e,Alternative,MonadPlus,MonadState s,MonadRWS r w s,MonadBase b)+ deriving (Functor,Applicative,Monad,MonadFix,MonadCatch,MonadThrow,MonadIO,MonadMask,MonadReader r,MonadWriter w,MonadCont,MonadError e,Alternative,MonadPlus,MonadState s,MonadRWS r w s,MonadBase b,Fail.MonadFail) instance MonadBaseControl b m => MonadBaseControl b (DiscardLoggingT message m) where type StM (DiscardLoggingT message m) a = StM m a