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

Style style => Style (ContextStyle context style)

Associated Types

type K (ContextStyle context style) :: *

type K (ContextStyle context style)

type K (ContextStyle context style) = K style

type Value (ContextStyle context style) sort

type Value (ContextStyle context style) sort = context -> Value style sort

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

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