| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Polysemy.Log.Effect.LogMetadata
Description
Synopsis
- data LogMetadata msg (a :: Type -> Type) b where
- Annotated :: forall msg (a :: Type -> Type). HasCallStack => msg -> LogMetadata msg a ()
- annotated :: forall msg (r :: EffectRow). (HasCallStack, Member (LogMetadata msg) r) => msg -> Sem r ()
Documentation
data LogMetadata msg (a :: Type -> Type) b where Source #
Internal effect used as an intermediate stage between Log and DataLog, for the purpose
of isolating the metadata annotation task.
The type of metadata is arbitrary and chosen in interpreters, but this exposes a HasCallStack dependency since it's
the primary purpose.
Constructors
| Annotated :: forall msg (a :: Type -> Type). HasCallStack => msg -> LogMetadata msg a () | Schedule a message to be annotated and logged. |
annotated :: forall msg (r :: EffectRow). (HasCallStack, Member (LogMetadata msg) r) => msg -> Sem r () Source #
Schedule a message to be annotated and logged.