Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data LogMetadata msg :: Effect where
- Annotated :: HasCallStack => msg -> LogMetadata msg m ()
- annotated :: HasCallStack => Member (LogMetadata msg) r => msg -> Sem r ()
Documentation
data LogMetadata msg :: Effect 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.
Annotated :: HasCallStack => msg -> LogMetadata msg m () | Schedule a message to be annotated and logged. |
annotated :: HasCallStack => Member (LogMetadata msg) r => msg -> Sem r () Source #
Schedule a message to be annotated and logged.