Observe.Event.Syntax

Syntax helpers for eventuo11y interfaces.

Documentation

class RecordField k v a where

A type class for common syntax for types that are key-value-like.

For example, the appropriate RecordField instances allow for [ "bytes", "asked" ] ≔ ''ByteCount and [ "bytes", "actual" ] ≔ [t|Maybe ByteCount|] to both construct FieldConstructorSpecs, the former creating a constructor BytesAsked taking a ByteCount and the latter a constructor BytesActual taking a Maybe ByteCount.

Methods

(≔) :: k -> v -> a infixr 4

Instances

a ~ ExplodedName => RecordField a FieldSpec SelectorConstructorSpec

e.g. "foo" ≔ FieldSpec ...

Defined in Observe.Event.DSL

Methods

(≔) :: a -> FieldSpec -> SelectorConstructorSpec

a ~ ExplodedName => RecordField a SelectorField SelectorConstructorSpec

e.g. "foo" ≔ NoFields

Defined in Observe.Event.DSL

Methods

(≔) :: a -> SelectorField -> SelectorConstructorSpec

a ~ ExplodedName => RecordField a Name FieldConstructorSpec

e.g. "foo" ≔ ''Int

Defined in Observe.Event.DSL

Methods

(≔) :: a -> Name -> FieldConstructorSpec

a ~ ExplodedName => RecordField a Name SelectorConstructorSpec

e.g. "foo" ≔ ''Int

Defined in Observe.Event.DSL

Methods

(≔) :: a -> Name -> SelectorConstructorSpec

(a ~ ExplodedName, m ~ AnyQuote) => RecordField a (NonEmpty (m Type)) FieldConstructorSpec

e.g. "foo" ≔ [t|Int] :| [ [t|Bool], [t|Char] ]

Defined in Observe.Event.DSL

Methods

(≔) :: a -> NonEmpty (m Type) -> FieldConstructorSpec

a ~ ExplodedName => RecordField a [Name] FieldConstructorSpec

e.g. "foo" ≔ [''Int, ''Char]

Defined in Observe.Event.DSL

Methods

(≔) :: a -> [Name] -> FieldConstructorSpec

(a ~ ExplodedName, m ~ AnyQuote) => RecordField a (m Type) FieldConstructorSpec

e.g. "foo" ≔ [t|Maybe Int]

Defined in Observe.Event.DSL

Methods

(≔) :: a -> m Type -> FieldConstructorSpec

(a ~ ExplodedName, m ~ AnyQuote) => RecordField a (m Type) SelectorConstructorSpec

e.g. "foo" ≔ [t|Maybe Int|]

Defined in Observe.Event.DSL

Methods

(≔) :: a -> m Type -> SelectorConstructorSpec