addConnection | Ghci.Server.Websockets.Internal |
application | Ghci.Server.Websockets.Internal |
cfHTTPPort | Ghci.Server.Config, Ghci.Server |
cfVerbosity | Ghci.Server.Config, Ghci.Server |
cfWSPort | Ghci.Server.Config, Ghci.Server |
closeConnection | Ghci.Server.Websockets.Internal |
Config | Ghci.Server.Config, Ghci.Server |
ConnectionID | Ghci.Server.Websockets.Internal |
defaultConfig | Ghci.Server.Config, Ghci.Server |
deleteConnection | Ghci.Server.Websockets.Internal |
logStr | Ghci.Server.Config |
Message | Ghci.Server.Websockets.Message |
mkEmbedded | Ghci.Server.Http.Stage0 |
MsgHtml | Ghci.Server.Websockets.Message |
MsgPlotly | Ghci.Server.Websockets.Message |
MsgText | Ghci.Server.Websockets.Message |
send | Ghci.Server.Websockets.Internal |
sendHtml | Ghci.Server.Websockets.Message, Ghci.Server |
sendPlot | Ghci.Server.Websockets.Message, Ghci.Server |
sendText | Ghci.Server.Websockets.Message, Ghci.Server |
ServerState | |
1 (Type/Class) | Ghci.Server.Websockets.Internal |
2 (Data Constructor) | Ghci.Server.Websockets.Internal |
serverState | Ghci.Server.Websockets.Internal |
Silent | Ghci.Server.Config, Ghci.Server |
start | Ghci.Server |
startConfig | |
1 (Function) | Ghci.Server.Http.Internal |
2 (Function) | Ghci.Server.Websockets.Internal |
3 (Function) | Ghci.Server |
theApp | Ghci.Server.Http.Internal |
theStore | Ghci.Server.Websockets.Internal |
unServerState | Ghci.Server.Websockets.Internal |
Verbose | Ghci.Server.Config, Ghci.Server |
Verbosity | Ghci.Server.Config, Ghci.Server |