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

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 IsString 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

ToJSON x => IsString (x -> DynamicField)

Treat a string as a function to a DynamicField, calling toJSON on its argument.

Defined in Observe.Event.Dynamic

Methods

fromString :: String -> x -> DynamicField

Shorthand types

type DynamicEventBackend m r = EventBackend m r DynamicEventSelector

Shorthand for an EventBackend using DynamicEventSelectors.

type DynamicEvent m r = Event m r DynamicEventSelector DynamicField

Shorthand for an Event using DynamicFields.