Graphics.UI.Gtk.Binding
- bindToControl :: Bindable b => b a -> (a -> d) -> c -> Attr c d -> IO ()
- bindFromControl :: (WidgetClass c, Bindable b) => c -> Attr c d -> (a -> d -> a) -> b a -> IO (ConnectId c)
- bindControl :: (WidgetClass c, Bindable b) => b a -> (a -> d) -> c -> Attr c d -> (a -> d -> a) -> IO (ConnectId c)
- bindTextEntry :: (Show a, Read a, EntryClass c, WidgetClass c, Bindable b) => b a -> c -> IO (ConnectId c)
- navigation :: Variable v => BindingList v a -> a -> IO HButtonBox
Documentation
Arguments
| :: Bindable b | |
| => b a | the binding source |
| -> (a -> d) | a function that extracts data from the source |
| -> c | the target control |
| -> Attr c d | the attribute of the control to bind to |
| -> IO () |
Bind a Source to a control.
Arguments
| :: (WidgetClass c, Bindable b) | |
| => c | the control |
| -> Attr c d | the attribute of the control to bind from |
| -> (a -> d -> a) | a function that applies data from the control to the source |
| -> b a | the binding source |
| -> IO (ConnectId c) |
Bind from a control to a Source.
The source is updated when the control loses focus.
Arguments
| :: (WidgetClass c, Bindable b) | |
| => b a | the binding source |
| -> (a -> d) | a function that extracts data from the source |
| -> c | the control |
| -> Attr c d | the attribute of the control to bind to |
| -> (a -> d -> a) | a function that applies data from the control to the source |
| -> IO (ConnectId c) |
Create a two-way data binding.
Arguments
| :: (Show a, Read a, EntryClass c, WidgetClass c, Bindable b) | |
| => b a | the binding source |
| -> c | the control |
| -> IO (ConnectId c) |
Create a simple two-way data binding for a Textual control.
Arguments
| :: Variable v | |
| => BindingList v a | the binding list |
| -> a | the default value for inserts |
| -> IO HButtonBox |
Create a set of navigation buttons for a binding list.