| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Polysemy.Log.Effect.DataLog
Description
Synopsis
- data DataLog a :: Effect where
- local :: forall a r b. Member (DataLog a) r => (a -> a) -> Sem r b -> Sem r b
- dataLog :: forall a r. Member (DataLog a) r => a -> Sem r ()
- type Logger = DataLog (LogEntry LogMessage)
- log :: HasCallStack => Members [Logger, GhcTime] r => Severity -> Text -> Sem r ()
- trace :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
- debug :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
- info :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
- warn :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
- error :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
- crit :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
Documentation
local :: forall a r b. Member (DataLog a) r => (a -> a) -> Sem r b -> Sem r b Source #
Stores the provided function in the interpreter and applies it to all log messages emitted within the higher-order thunk that's the second argument.
dataLog :: forall a r. Member (DataLog a) r => a -> Sem r () Source #
Schedule an arbitrary value for logging.
type Logger = DataLog (LogEntry LogMessage) Source #
Alias for the logger with the default message type used by Log.
log :: HasCallStack => Members [Logger, GhcTime] r => Severity -> Text -> Sem r () Source #
Log a text message with the given severity.
Basic Sem constructor.
trace :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r () Source #
Log a text message with the Trace severity.
debug :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r () Source #
Log a text message with the Debug severity.
info :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r () Source #
Log a text message with the Info severity.
warn :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r () Source #
Log a text message with the Warn severity.