grapefruit-records- A record system for Functional Reactive Programming

Safe HaskellNone




data ContextStyle context style Source

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.


Style style => Style (ContextStyle context style) 

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

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