Graphics.UI.WX.Binding
- bindToControl :: Bindable b => b a -> (a -> d) -> c -> Attr c d -> IO ()
- bindFromControl :: (Bindable b, Reactive c) => c -> Attr c d -> (a -> d -> a) -> b a -> IO ()
- bindControl :: (Bindable b, Reactive c) => b a -> (a -> d) -> c -> Attr c d -> (a -> d -> a) -> IO ()
- bindTextual :: (Show a, Read a, Bindable b, Textual c, Reactive c) => b a -> c -> IO ()
- navigation :: Variable v => Window w -> BindingList v a -> a -> IO Layout
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
| :: (Bindable b, Reactive c) | |
| => 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 () |
Bind from a control to a Source.
The source is updated when the control loses focus.
Arguments
| :: (Bindable b, Reactive c) | |
| => 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 () |
Create a two-way data binding.
Arguments
| :: (Show a, Read a, Bindable b, Textual c, Reactive c) | |
| => b a | the binding source |
| -> c | the control |
| -> IO () |
Create a simple two-way data binding for a Textual control.
Arguments
| :: Variable v | |
| => Window w | the buttons' owner |
| -> BindingList v a | the binding list |
| -> a | the default value for inserts |
| -> IO Layout |
Create a set of navigation buttons for a binding list.