Safe Haskell | None |
---|---|
Language | Haskell98 |
- newtype LogT m a = LogT {}
- withNoLog :: LogT m a -> m a
- withLog :: Log -> LogT 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
- scopeM_ :: (MonadLog m, MonadError e m) => Text -> m a -> m a
- scopeM :: (Show e, MonadLog m, MonadError e m) => Text -> m a -> m a
- scoper :: (Show a, MonadLog m) => Text -> m a -> m a
- scoperM :: (Show e, Show a, MonadLog m, MonadError e m) => Text -> m a -> m a
- ignoreError :: MonadLog m => m () -> m ()
- ignoreErrorM :: (MonadLog m, MonadError e m) => m () -> m ()
- trace :: (Show a, MonadLog m) => Text -> m a -> m a
- class (MonadIO m, MonadMask m) => MonadLog m where
Documentation
Monad m => MonadReader Log (LogT m) Source # | |
Monad m => Monad (LogT m) Source # | |
Functor m => Functor (LogT m) Source # | |
Applicative m => Applicative (LogT m) Source # | |
MonadIO m => MonadIO (LogT m) Source # | |
MonadThrow m => MonadThrow (LogT m) Source # | |
MonadCatch m => MonadCatch (LogT m) Source # | |
MonadMask m => MonadMask (LogT m) Source # | |
(MonadIO m, MonadMask m) => MonadLog (LogT m) Source # | |
scopeM_ :: (MonadLog m, MonadError e m) => Text -> m a -> m a Source #
Workaround: we must explicitely post LeaveScope
scopeM :: (Show e, MonadLog m, MonadError e m) => Text -> m a -> m a Source #
Scope with log exceptions from MonadError
| Workaround: we must explicitely post LeaveScope
ignoreError :: MonadLog m => m () -> m () Source #
Ignore error
ignoreErrorM :: (MonadLog m, MonadError e m) => m () -> m () Source #
Ignore MonadError error