Safe Haskell	Safe-Inferred
Language	Haskell2010

Convex.MonadLog

Contents

Logging with Katip
Etc.

Description

Simple logging

Synopsis

class Monad m ⇒ MonadLog m where
- logInfo' ∷ Doc Void → m ()
- logWarn' ∷ Doc Void → m ()
- logDebug' ∷ Doc Void → m ()
logInfo ∷ ∀ a m. (Pretty a, MonadLog m) ⇒ a → m ()
logInfoS ∷ ∀ m. MonadLog m ⇒ String → m ()
logWarn ∷ ∀ a m. (Pretty a, MonadLog m) ⇒ a → m ()
logWarnS ∷ ∀ m. MonadLog m ⇒ String → m ()
logDebug ∷ ∀ a m. (Pretty a, MonadLog m) ⇒ a → m ()
logDebugS ∷ ∀ m. MonadLog m ⇒ String → m ()
newtype MonadLogIgnoreT m a = MonadLogIgnoreT {
- runMonadLogIgnoreT ∷ m a
}
newtype MonadLogKatipT m a = MonadLogKatipT {
- runMonadLogKatipT ∷ KatipContextT m a
}
runMonadLogKatip ∷ KatipConfig → MonadLogKatipT m a → m a
type KatipConfig = (LogEnv, LogContexts, Namespace)
withKatipLogging ∷ Severity → Environment → Namespace → (KatipConfig → IO ()) → IO ()
logUnless ∷ MonadLog m ⇒ Bool → String → m ()

Documentation

class Monad m ⇒ MonadLog m where Source #

Methods

logInfo' ∷ Doc Void → m () Source #

logWarn' ∷ Doc Void → m () Source #

logDebug' ∷ Doc Void → m () Source #

Instances

Instances details

Monad m ⇒ MonadLog (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → MonadLogIgnoreT m () Source # logWarn' ∷ Doc Void → MonadLogIgnoreT m () Source # logDebug' ∷ Doc Void → MonadLogIgnoreT m () Source #
MonadIO m ⇒ MonadLog (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → MonadLogKatipT m () Source # logWarn' ∷ Doc Void → MonadLogKatipT m () Source # logDebug' ∷ Doc Void → MonadLogKatipT m () Source #
MonadLog m ⇒ MonadLog (MaybeT m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → MaybeT m () Source # logWarn' ∷ Doc Void → MaybeT m () Source # logDebug' ∷ Doc Void → MaybeT m () Source #
MonadLog m ⇒ MonadLog (MonadBlockchainCardanoNodeT e m) Source #
Instance details Defined in Convex.Class Methods logInfo' ∷ Doc Void → MonadBlockchainCardanoNodeT e m () Source # logWarn' ∷ Doc Void → MonadBlockchainCardanoNodeT e m () Source # logDebug' ∷ Doc Void → MonadBlockchainCardanoNodeT e m () Source #
MonadLog m ⇒ MonadLog (ExceptT e m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → ExceptT e m () Source # logWarn' ∷ Doc Void → ExceptT e m () Source # logDebug' ∷ Doc Void → ExceptT e m () Source #
MonadLog m ⇒ MonadLog (ReaderT e m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → ReaderT e m () Source # logWarn' ∷ Doc Void → ReaderT e m () Source # logDebug' ∷ Doc Void → ReaderT e m () Source #
MonadLog m ⇒ MonadLog (StateT s m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → StateT s m () Source # logWarn' ∷ Doc Void → StateT s m () Source # logDebug' ∷ Doc Void → StateT s m () Source #
MonadLog m ⇒ MonadLog (StateT s m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → StateT s m () Source # logWarn' ∷ Doc Void → StateT s m () Source # logDebug' ∷ Doc Void → StateT s m () Source #

logInfo ∷ ∀ a m. (Pretty a, MonadLog m) ⇒ a → m () Source #

logInfoS ∷ ∀ m. MonadLog m ⇒ String → m () Source #

logWarn ∷ ∀ a m. (Pretty a, MonadLog m) ⇒ a → m () Source #

logWarnS ∷ ∀ m. MonadLog m ⇒ String → m () Source #

logDebug ∷ ∀ a m. (Pretty a, MonadLog m) ⇒ a → m () Source #

logDebugS ∷ ∀ m. MonadLog m ⇒ String → m () Source #

newtype MonadLogIgnoreT m a Source #

Constructors

MonadLogIgnoreT
Fields runMonadLogIgnoreT ∷ m a

Instances

Instances details

MonadTrans MonadLogIgnoreT Source #
Instance details Defined in Convex.MonadLog Methods lift ∷ Monad m ⇒ m a → MonadLogIgnoreT m a Source #
MonadError e m ⇒ MonadError e (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods throwError ∷ e → MonadLogIgnoreT m a Source # catchError ∷ MonadLogIgnoreT m a → (e → MonadLogIgnoreT m a) → MonadLogIgnoreT m a Source #
MonadFail m ⇒ MonadFail (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods fail ∷ String → MonadLogIgnoreT m a Source #
MonadIO m ⇒ MonadIO (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods liftIO ∷ IO a → MonadLogIgnoreT m a Source #
Applicative m ⇒ Applicative (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods pure ∷ a → MonadLogIgnoreT m a Source # (<>) ∷ MonadLogIgnoreT m (a → b) → MonadLogIgnoreT m a → MonadLogIgnoreT m b Source # liftA2 ∷ (a → b → c) → MonadLogIgnoreT m a → MonadLogIgnoreT m b → MonadLogIgnoreT m c Source # (>) ∷ MonadLogIgnoreT m a → MonadLogIgnoreT m b → MonadLogIgnoreT m b Source # (<*) ∷ MonadLogIgnoreT m a → MonadLogIgnoreT m b → MonadLogIgnoreT m a Source #
Functor m ⇒ Functor (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods fmap ∷ (a → b) → MonadLogIgnoreT m a → MonadLogIgnoreT m b Source # (<$) ∷ a → MonadLogIgnoreT m b → MonadLogIgnoreT m a Source #
Monad m ⇒ Monad (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods (>>=) ∷ MonadLogIgnoreT m a → (a → MonadLogIgnoreT m b) → MonadLogIgnoreT m b Source # (>>) ∷ MonadLogIgnoreT m a → MonadLogIgnoreT m b → MonadLogIgnoreT m b Source # return ∷ a → MonadLogIgnoreT m a Source #
Monad m ⇒ MonadLog (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → MonadLogIgnoreT m () Source # logWarn' ∷ Doc Void → MonadLogIgnoreT m () Source # logDebug' ∷ Doc Void → MonadLogIgnoreT m () Source #
MonadCatch m ⇒ MonadCatch (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods catch ∷ Exception e ⇒ MonadLogIgnoreT m a → (e → MonadLogIgnoreT m a) → MonadLogIgnoreT m a Source #
MonadMask m ⇒ MonadMask (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods mask ∷ ((∀ a. MonadLogIgnoreT m a → MonadLogIgnoreT m a) → MonadLogIgnoreT m b) → MonadLogIgnoreT m b Source # uninterruptibleMask ∷ ((∀ a. MonadLogIgnoreT m a → MonadLogIgnoreT m a) → MonadLogIgnoreT m b) → MonadLogIgnoreT m b Source # generalBracket ∷ MonadLogIgnoreT m a → (a → ExitCase b → MonadLogIgnoreT m c) → (a → MonadLogIgnoreT m b) → MonadLogIgnoreT m (b, c) Source #
MonadThrow m ⇒ MonadThrow (MonadLogIgnoreT m) Source #
Instance details Defined in Convex.MonadLog Methods throwM ∷ Exception e ⇒ e → MonadLogIgnoreT m a Source #

Logging with Katip

newtype MonadLogKatipT m a Source #

Constructors

MonadLogKatipT
Fields runMonadLogKatipT ∷ KatipContextT m a

Instances

Instances details

MonadTrans MonadLogKatipT Source #
Instance details Defined in Convex.MonadLog Methods lift ∷ Monad m ⇒ m a → MonadLogKatipT m a Source #
MonadError e m ⇒ MonadError e (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods throwError ∷ e → MonadLogKatipT m a Source # catchError ∷ MonadLogKatipT m a → (e → MonadLogKatipT m a) → MonadLogKatipT m a Source #
MonadFail m ⇒ MonadFail (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods fail ∷ String → MonadLogKatipT m a Source #
MonadIO m ⇒ MonadIO (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods liftIO ∷ IO a → MonadLogKatipT m a Source #
Applicative m ⇒ Applicative (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods pure ∷ a → MonadLogKatipT m a Source # (<>) ∷ MonadLogKatipT m (a → b) → MonadLogKatipT m a → MonadLogKatipT m b Source # liftA2 ∷ (a → b → c) → MonadLogKatipT m a → MonadLogKatipT m b → MonadLogKatipT m c Source # (>) ∷ MonadLogKatipT m a → MonadLogKatipT m b → MonadLogKatipT m b Source # (<*) ∷ MonadLogKatipT m a → MonadLogKatipT m b → MonadLogKatipT m a Source #
Functor m ⇒ Functor (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods fmap ∷ (a → b) → MonadLogKatipT m a → MonadLogKatipT m b Source # (<$) ∷ a → MonadLogKatipT m b → MonadLogKatipT m a Source #
Monad m ⇒ Monad (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods (>>=) ∷ MonadLogKatipT m a → (a → MonadLogKatipT m b) → MonadLogKatipT m b Source # (>>) ∷ MonadLogKatipT m a → MonadLogKatipT m b → MonadLogKatipT m b Source # return ∷ a → MonadLogKatipT m a Source #
MonadIO m ⇒ MonadLog (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods logInfo' ∷ Doc Void → MonadLogKatipT m () Source # logWarn' ∷ Doc Void → MonadLogKatipT m () Source # logDebug' ∷ Doc Void → MonadLogKatipT m () Source #
MonadCatch m ⇒ MonadCatch (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods catch ∷ Exception e ⇒ MonadLogKatipT m a → (e → MonadLogKatipT m a) → MonadLogKatipT m a Source #
MonadMask m ⇒ MonadMask (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods mask ∷ ((∀ a. MonadLogKatipT m a → MonadLogKatipT m a) → MonadLogKatipT m b) → MonadLogKatipT m b Source # uninterruptibleMask ∷ ((∀ a. MonadLogKatipT m a → MonadLogKatipT m a) → MonadLogKatipT m b) → MonadLogKatipT m b Source # generalBracket ∷ MonadLogKatipT m a → (a → ExitCase b → MonadLogKatipT m c) → (a → MonadLogKatipT m b) → MonadLogKatipT m (b, c) Source #
MonadThrow m ⇒ MonadThrow (MonadLogKatipT m) Source #
Instance details Defined in Convex.MonadLog Methods throwM ∷ Exception e ⇒ e → MonadLogKatipT m a Source #

runMonadLogKatip ∷ KatipConfig → MonadLogKatipT m a → m a Source #

type KatipConfig = (LogEnv, LogContexts, Namespace) Source #

withKatipLogging ∷ Severity → Environment → Namespace → (KatipConfig → IO ()) → IO () Source #

Set up a KatipConfig with a single scribe that writes to stdout at the given severity

Etc.

logUnless ∷ MonadLog m ⇒ Bool → String → m () Source #