Safe Haskell	None
Language	GHC2021

Polysemy.Log.Effect.Log

Description

Synopsis

data Log (a :: Type -> Type) b where
- Log :: forall (a :: Type -> Type). HasCallStack => LogMessage -> Log a ()
log :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Severity -> Text -> Sem r ()
trace :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
debug :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
info :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
warn :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
error :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
crit :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()

Documentation

data Log (a :: Type -> Type) b where Source #

The default high-level effect for simple text messages. To be used with the severity constructors:

import qualified Polysemy.Log as Log

prog = do
  Log.debug "debugging…"
  Log.warn "warning!"

Interpreters should preprocess and relay the message to DataLog.

Constructors

Log :: forall (a :: Type -> Type). HasCallStack => LogMessage -> Log a ()

Schedule a message to be logged.

Log a message with the given severity. Basic Sem constructor.

Log a message with the Trace severity.

Log a message with the Debug severity.

Log a message with the Info severity.

Log a message with the Warn severity.

Log a message with the Error severity.

Log a message with the Crit severity.