Control.Monad.Classes.Log

Documentation

data EffLog w

type family LoggingCanDo msg eff where ...

Equations

LoggingCanDo msg (EffLog msg) = True

LoggingCanDo msg eff = False

class Monad m => MonadLogN k message m where

Minimal complete definition

logMessageFreeN

Methods

logMessageFreeN :: Proxy# k -> (forall n. Monoid n => (message -> n) -> n) -> m ()

Instances

Monad m => MonadLogN Zero msg (DiscardLoggingT msg m)

Methods

logMessageFreeN :: Proxy# Peano Zero -> (forall n. Monoid n => (msg -> n) -> n) -> DiscardLoggingT msg m ()

(Monad m, Monoid msg) => MonadLogN Zero msg (PureLoggingT msg m)

Methods

logMessageFreeN :: Proxy# Peano Zero -> (forall n. Monoid n => (msg -> n) -> n) -> PureLoggingT msg m ()

Monad m => MonadLogN Zero msg (LoggingT msg m)

Methods

logMessageFreeN :: Proxy# Peano Zero -> (forall n. Monoid n => (msg -> n) -> n) -> LoggingT msg m ()

(MonadTrans t, MonadLogN k msg m, Monad (t m)) => MonadLogN (Succ k) msg (t m)

Methods

logMessageFreeN :: Proxy# Peano (Succ k) -> (forall n. Monoid n => (msg -> n) -> n) -> t m ()

type MonadLog msg m = MonadLogN (Find (EffLog msg) m) msg m

logMessageFree :: forall msg m. MonadLog msg m => (forall n. Monoid n => (msg -> n) -> n) -> m ()

logMessage :: MonadLog msg m => msg -> m ()

mapLogMessage :: MonadLog msg' m => (msg -> msg') -> LoggingT msg m a -> m a

mapLogMessageM :: MonadLog msg' m => (msg -> m msg') -> LoggingT msg m a -> m a

logDebug :: MonadLog (WithSeverity a) m => a -> m ()

logInfo :: MonadLog (WithSeverity a) m => a -> m ()

logNotice :: MonadLog (WithSeverity a) m => a -> m ()

logWarning :: MonadLog (WithSeverity a) m => a -> m ()

logError :: MonadLog (WithSeverity a) m => a -> m ()

logCritical :: MonadLog (WithSeverity a) m => a -> m ()

logAlert :: MonadLog (WithSeverity a) m => a -> m ()

logEmergency :: MonadLog (WithSeverity a) m => a -> m ()