|
Graphics.UI.Editor.Basics |
|
|
|
|
Description |
Module for the basiscs of composing GUIs from editors
|
|
Synopsis |
|
|
|
|
Types
|
|
type Getter alpha beta = alpha -> beta | Source |
|
A type for getting a field of a record
|
|
type Setter alpha beta = beta -> alpha -> alpha | Source |
|
A type for setting the field of a record
|
|
|
A type for injecting a value into an editor
|
|
|
A type for extracting a value from an editor
|
|
type Applicator beta gamma = beta -> gamma () | Source |
|
A type for the application of a value to be reflected in the GUI
|
|
|
A type to describe an editor.
alpha is the type of the individual field of the record
|
|
|
A convinence method for not repeating this over and over again
|
|
|
|
|
A type for an event in the GUI
| Constructors | GUIEvent | | selector :: GUIEventSelector | | gtkEvent :: Event | | eventPaneName :: String | | gtkReturn :: Bool | True means that the event has been completely handled,
gtk shoudn't do any further action about it (Often not
a good idea
|
|
|
|
|
|
Constructors | Clicked | | FocusOut | | FocusIn | | SelectionChanged | | ButtonRelease | | AfterKeyRelease | |
|
|
|
|
A type for a function to register a gtk event
|
|
|
|
The event source in the gtk editor context
If the second argument is Left Handler the handler gets registered
If the second argument is Right Unique the handler will be removed
The returned unique value must be used for unregistering an event
| Constructors | |
|
|
|
|
|
Activate the event after the event has been declared and the
widget has been constructed
|
|
|
Propagate the event with the selector from notifier to eventSource
|
|
|
|
Produced by Haddock version 2.6.1 |