Graphics.UI.Editor.Basics

Module for the basiscs of composing GUIs from editors

Types

type Getter alpha beta = alpha -> beta

A type for getting a field of a record

type Setter alpha beta = beta -> alpha -> alpha

A type for setting the field of a record

type Injector beta = beta -> IO ()

A type for injecting a value into an editor

type Extractor beta = IO (Maybe beta)

A type for extracting a value from an editor

type Applicator beta gamma = beta -> gamma ()

A type for the application of a value to be reflected in the GUI

type Editor alpha = Parameters -> Notifier -> IO (Widget, Injector alpha, Extractor alpha)

A type to describe an editor. alpha is the type of the individual field of the record

getStandardRegFunction :: GUIEventSelector -> GtkRegFunc

A convinence method for not repeating this over and over again

emptyNotifier :: IO Notifier

data GUIEvent

A type for an event in the GUI

Constructors

GUIEvent

Fields

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

Instances

Event GUIEvent GUIEventSelector

EventSource Notifier GUIEvent IO GUIEventSelector

data GUIEventSelector

Constructors

Clicked

FocusOut

FocusIn

SelectionChanged

ButtonRelease

AfterKeyRelease

Instances

Bounded GUIEventSelector

Enum GUIEventSelector

Eq GUIEventSelector

Ord GUIEventSelector

Show GUIEventSelector

EventSelector GUIEventSelector

Event GUIEvent GUIEventSelector

EventSource Notifier GUIEvent IO GUIEventSelector

type GtkRegFunc = Widget -> GtkHandler -> IO (ConnectId Widget)

A type for a function to register a gtk event |

newtype Notifier

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

Noti (IORef (Handlers GUIEvent IO GUIEventSelector, Map GUIEventSelector GUIEventReg))

Instances

EventSource Notifier GUIEvent IO GUIEventSelector

type GtkHandler = Event -> IO Bool

activateEvent :: Widget -> Notifier -> Maybe GtkRegFunc -> GUIEventSelector -> IO ()

Activate the event after the event has been declared and the widget has been constructed

propagateEvent :: Notifier -> [Notifier] -> GUIEventSelector -> IO ()

Propagate the event with the selector from notifier to eventSource

allGUIEvents :: [GUIEventSelector]