grapefruit-ui- Declarative user interface programming

Safe HaskellNone




This module is about creating interfaces of UI items.



data Interfacing nativeItem era i o Source

Describes communication of an item with its environment.

An interfacing is a mapping from native items to circuits. These circuits handle input consumption and output production.

basic :: (Record SignalKind extIShape, Record SignalKind extOShape, Subrecord extIShape iShape, Subrecord extOShape oShape) => ContextConsumerRecord nativeItem iShape -> ContextProducerRecord nativeItem oShape -> Interfacing nativeItem era (SignalRecord era extIShape) (SignalRecord era extOShape)Source

Creates an interfacing based on signal connectors (consumers and producers).

The input and output are signal records. The only restriction to these records is that their fields must have corresponding fields in the connector records. The order of fields in the signal records may differ from the order of connector fields and there may be connector fields without a corresponding signal field. Connectors, for which no signal field exists, are not performed.



:: UIComp uiComp 
=> (nativeItem -> Placement innerItem uiBackend)

conversion from a native item into the placement for its inner items

-> uiComp innerItem uiBackend era innerI innerO

an inner user interface component

-> Interfacing nativeItem era baseI baseO

an interfacing to which the inner component interfacing shall be added

-> Interfacing nativeItem era (baseI `With` innerI) (baseO `With` innerO) 

Extends an interfacing so that the resulting interfacing also adds an inner component to the UI item in question and extends the input and output to contain the input and output of the inner component.

Inner components

data With base inner Source

An input or output, extended with the input or output of an inner component.


base With inner