| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.Log.Data.LogMetadata
Description
Synopsis
- data LogMetadata a :: Effect where
- Annotated :: HasCallStack => a -> LogMetadata a m ()
Documentation
data LogMetadata a :: 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.
Constructors
| Annotated :: HasCallStack => a -> LogMetadata a m () | Schedule a message to be annotated and logged. |
Instances
| type DefiningModule LogMetadata Source # | |
Defined in Polysemy.Log.Data.LogMetadata | |