System.Log.Simple.Monad

Documentation

withNoLog :: ReaderT Log m a -> m a

withLog :: Log -> ReaderT Log m a -> m a

log :: MonadLog m => Level -> Text -> m ()

scope_ :: MonadLog m => Text -> m a -> m a

scope :: MonadLog m => Text -> m a -> m a

Scope with log all exceptions

scopeM_ :: (MonadLog m, MonadError e m) => Text -> m a -> m a

Workaround: we must explicitely post LeaveScope

scopeM :: (Show e, MonadLog m, MonadError e m) => Text -> m a -> m a

Scope with log exceptions from MonadError | Workaround: we must explicitely post LeaveScope

scoper :: (Show a, MonadLog m) => Text -> m a -> m a

Scope with tracing result

scoperM :: (Show e, Show a, MonadLog m, MonadError e m) => Text -> m a -> m a

ignoreError :: MonadLog m => m () -> m ()

Ignore error

ignoreErrorM :: (MonadLog m, MonadError e m) => m () -> m ()

Ignore MonadError error

trace :: (Show a, MonadLog m) => Text -> m a -> m a

Trace value

class MonadCatchIO m => MonadLog m where

Methods

askLog :: m Log

Instances

MonadCatchIO m => MonadLog (ReaderT Log m)