System.Log.Simple.Monad

Documentation

newtype LogT m a

Constructors

LogT

Fields

• runLogT :: ReaderT Log m a

Instances

MonadTrans LogT

Methods

lift :: Monad m => m a -> LogT m a

Monad m => MonadReader Log (LogT m)

Methods

ask :: LogT m Log

local :: (Log -> Log) -> LogT m a -> LogT m a

reader :: (Log -> a) -> LogT m a

Monad m => Monad (LogT m)

Methods

(>>=) :: LogT m a -> (a -> LogT m b) -> LogT m b

(>>) :: LogT m a -> LogT m b -> LogT m b

return :: a -> LogT m a

fail :: String -> LogT m a

Functor m => Functor (LogT m)

Methods

fmap :: (a -> b) -> LogT m a -> LogT m b

(<$) :: a -> LogT m b -> LogT m a

Applicative m => Applicative (LogT m)

Methods

pure :: a -> LogT m a

(<*>) :: LogT m (a -> b) -> LogT m a -> LogT m b

(*>) :: LogT m a -> LogT m b -> LogT m b

(<*) :: LogT m a -> LogT m b -> LogT m a

MonadIO m => MonadIO (LogT m)

Methods

liftIO :: IO a -> LogT m a

MonadThrow m => MonadThrow (LogT m)

Methods

throwM :: Exception e => e -> LogT m a

MonadCatch m => MonadCatch (LogT m)

Methods

catch :: Exception e => LogT m a -> (e -> LogT m a) -> LogT m a

MonadMask m => MonadMask (LogT m)

Methods

mask :: ((forall a. LogT m a -> LogT m a) -> LogT m b) -> LogT m b

uninterruptibleMask :: ((forall a. LogT m a -> LogT m a) -> LogT m b) -> LogT m b

(MonadIO m, MonadMask m) => MonadLog (LogT m)

Methods

askLog :: LogT m Log

withNoLog :: LogT m a -> m a

withLog :: Log -> LogT m a -> m a

runLog :: MonadIO m => RulesLoad -> [Logger] -> LogT m a -> m a

runNoLog :: LogT m a -> m a

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

sendLog :: 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 (MonadIO m, MonadMask m) => MonadLog m where

Minimal complete definition

askLog

Methods

askLog :: m Log

Instances

(MonadIO m, MonadMask m) => MonadLog (LogT m)

Methods

askLog :: LogT m Log

MonadLog m => MonadLog (StateT s m)

Methods

askLog :: StateT s m Log

MonadLog m => MonadLog (StateT s m)

Methods

askLog :: StateT s m Log

(Monoid w, MonadLog m) => MonadLog (WriterT w m)

Methods

askLog :: WriterT w m Log

(Monoid w, MonadLog m) => MonadLog (WriterT w m)

Methods

askLog :: WriterT w m Log

MonadLog m => MonadLog (ReaderT * r m)

Methods

askLog :: ReaderT * r m Log