Data.Record.Context

Documentation

data ContextStyle context style

The context consumer and context producer record styles.

ContextConnectorStyle context Consumer is the style of context consumer records with context context and ContextConnectorStyle context Producer is the style of context producer records with context context. Fields of context connector style records have the form name ::~~ connectorGenerator.

Instances

(Kind (K (ContextStyle context style)), Style style) => Style (ContextStyle context style)

app :: (Style style, Record (K style) record) => record (ContextStyle context style) -> context -> record style

Applies all values of a context connector record to a given context to form an ordinary context record.