| definition: |
runInitHandlesControlledGUI :: String
-> (Widget,[Handle -> GuiPort -> IO [ReconfigureItem]])
-> (GuiPort -> IO [ReconfigureItem]) -> [Handle] -> IO ()
runInitHandlesControlledGUI title (widget,handlers) initcmd handles =
do gport <- openWish (escapeTcl title) ""
initSchedule widget gport
(map IOHandler (zip handles (map toIOHandler handlers)))
initcmd
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
--- Runs a Widget in a new GUI window and process GUI events --- after executing an initial action on the GUI window. --- 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 initcmd - the initial command executed before starting the GUI --- @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: |
runInitHandlesControlledGUI |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> (Widget, [System.IO.Handle -> GuiPort -> Prelude.IO [ReconfigureItem]]) -> (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 |