Observe.Event.Dynamic

Instrumentors can use the types in this module if they don't want to define domain-specific types for the code they're instrumenting.

Documentation

data DynamicEventSelector f where

A simple type usable as an EventBackend selector.

All Events have DynamicField field types.

Individual DynamicEventSelectors are typically constructed via the IsString instance, e.g. withEvent backend "foo" go will call go with an Event m r DynamicEventSelector DynamicField named "foo".

Constructors

DynamicEventSelector :: !Text -> DynamicEventSelector DynamicField

Instances

DefaultRenderSelectorJSON DynamicEventSelector

Defined in Observe.Event.Render.JSON

Methods

defaultRenderSelectorJSON :: RenderSelectorJSON DynamicEventSelector

f ~ DynamicField => IsString (DynamicEventSelector f)

Defined in Observe.Event.Dynamic

Methods

fromString :: String -> DynamicEventSelector f

data DynamicField

A simple type usable as an Event field type.

Individual DynamicFields are typically constructed via the RecordField instance, using ToJSON for the value, e.g. addField ev $ "foo" ≔ x will add DynamicField "foo" (toJSON x) as a field to ev.

Constructors

DynamicField

Fields

• name :: !Text
• value :: !Value

Instances

DefaultRenderFieldJSON DynamicField

Defined in Observe.Event.Render.JSON

Methods

defaultRenderFieldJSON :: RenderFieldJSON DynamicField

ToJSON a => RecordField Text a DynamicField

Defined in Observe.Event.Dynamic

Methods

(≔) :: Text -> a -> DynamicField

Shorthand types

type DynamicEventBackend m r = EventBackend m r DynamicEventSelector

Shorthand for an EventBackend using DynamicEventSelectors.

type DynamicEvent m r = Event m r DynamicField

Shorthand for an Event using DynamicFields.