Index
| broadcast | Ghci.Websockets, Ghci.Websockets.Simple |
| broadcastHtml | Ghci.Websockets.Simple |
| broadcastPlot | Ghci.Websockets.Simple |
| broadcastText | Ghci.Websockets.Simple |
| Config | |
| 1 (Type/Class) | Ghci.Websockets, Ghci.Websockets.Simple |
| 2 (Data Constructor) | Ghci.Websockets, Ghci.Websockets.Simple |
| defaultConfig | Ghci.Websockets, Ghci.Websockets.Simple |
| initialise | Ghci.Websockets, Ghci.Websockets.Simple |
| initialiseDef | Ghci.Websockets, Ghci.Websockets.Simple |
| Message | Ghci.Websockets.Simple |
| MsgHtml | Ghci.Websockets.Simple |
| MsgPlotly | Ghci.Websockets.Simple |
| MsgText | Ghci.Websockets.Simple |
| port | Ghci.Websockets, Ghci.Websockets.Simple |
| Silent | Ghci.Websockets, Ghci.Websockets.Simple |
| Verbose | Ghci.Websockets, Ghci.Websockets.Simple |
| Verbosity | Ghci.Websockets, Ghci.Websockets.Simple |
| verbosity | Ghci.Websockets, Ghci.Websockets.Simple |