| Safe Haskell | None |
|---|
Widgets
Description
- wInitGUI :: Int -> HWebUIWidget
- wButton :: String -> String -> HWebUIWidget
- wCheckBox :: String -> HWebUIWidget
- wHtml :: String -> HWebUIWidget
- wMultiSelect :: String -> Int -> HWebUIWidget
- wNumberTextBox :: String -> HWebUIWidget
- wRadioButton :: String -> String -> String -> Bool -> HWebUIWidget
- wTextBox :: String -> HWebUIWidget
Documentation
Arguments
| :: Int | port used to communicate with Haskell server |
| -> HWebUIWidget | resulting Yesod widget |
Yesod widget to initialize needed Javascript functionality in the HTML code of the GUI. Provides Dojokit inclusion and communication with Haskell Yesod server over websockets.
Arguments
| :: String | Element Id |
| -> String | Label of the Button |
| -> HWebUIWidget | resulting Yesod Widget |
Yesod widget for the Button GUI Element
Arguments
| :: String | Element Id |
| -> HWebUIWidget | resulting Yesod Widget |
Yesod widget for the CheckBox GUI Element
Arguments
| :: String | Element Id |
| -> HWebUIWidget | resulting Yesod widget |
Yesod widget for the PlainHtml GUI element (an element which is used for dynamic HTML output
Arguments
| :: String | Element Id |
| -> Int | Width of widget |
| -> HWebUIWidget | resulting Yesod widget |
Yesod widget for the MultiSelect GUI element
Arguments
| :: String | Element Id |
| -> HWebUIWidget | resulting Yesod widget |
Yesod widget for the NumberTextBox GUI element
Arguments
| :: String | Element Id |
| -> String | Name |
| -> String | Value |
| -> Bool | Checked |
| -> HWebUIWidget | resulting Yesod widget |
Yesod widget for the RadioButtion GUI element
Arguments
| :: String | Element Id |
| -> HWebUIWidget | resulting Yesod widget |
Yesod widget for the TextBox GUI element