| definition: |
runHandlesControlledGUI :: String
-> (Widget,[Handle -> GuiPort -> IO [ReconfigureItem]])
-> [Handle] -> IO ()
runHandlesControlledGUI title widgethandlers handles =
runInitHandlesControlledGUI title widgethandlers (\_->return []) handles
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
--- Runs a Widget in a new GUI window and process GUI events. --- In addition, a list of event handlers is provided that process --- inputs received from a corresponding list of handles to input streams. --- Thus, if the i-th handle has some data available, the i-th event handler --- is executed with the i-th handle as a parameter. --- This operation is useful to run a GUI that should react on --- inputs provided by other processes, e.g., via sockets. --- @param title - the title of the main window containing the widget --- @param th - a pair (widget,handlers) where widget is the widget shown in the --- new window and handlers is a list of event handler for external inputs --- @param handles - a list of handles to the external input streams for the --- corresponding event handlers |
| failfree: |
<FAILING> |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_) |-> _}
|
| name: |
runHandlesControlledGUI |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> (Widget, [System.IO.Handle -> GuiPort -> Prelude.IO [ReconfigureItem]]) -> [System.IO.Handle] -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |