- 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
:: 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.
:: (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.
:: (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.
:: (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.
:: 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.