| Safe Haskell | None |
|---|
Graphics.UI.Grapefruit.Interfacing
Contents
Description
This module is about creating interfaces of UI items.
- data Interfacing nativeItem era i o
- 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)
- with :: UIComp uiComp => (nativeItem -> Placement innerItem uiBackend) -> uiComp innerItem uiBackend era innerI innerO -> Interfacing nativeItem era baseI baseO -> Interfacing nativeItem era (baseI `With` innerI) (baseO `With` innerO)
- data With base inner = base With inner
Interfacing
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.
Arguments
| :: 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.