Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data LogMetadata msg :: Effect where
- Annotated :: HasCallStack => msg -> LogMetadata msg m ()
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. |