Make a client connection to a real WebSocket server.

The msg will usually be a no-operation message. It is only used to fill a slot in the returned ServerInterface. That slot is only used by the proxy server.

Make a client connection to a proxy server.

No WebSocket connection will be used to send messages.

Simulate a round-trip through the message encoder, decoder, and message processor.

Returns a function that takes a request message, encodes it, decodes it, processes it into a response, encodes and decodes that, then returns the result.

Usually passed as the first arg to makeProxyServer.

Return a Cmd to send a message through a server interface.

Return the server URL from inside a ServerInterface.

Check that the passed GameId is in the ServerState's game dict.

If it is, return the gamestate. Otherwise wrap the message in an ErrorRsp.

Check that the passed GameId is in the ServerState's game dict and that it satisifed the ModeChecker.

If it does, return the gamestate. Otherwise wrap the message in an ErrorRsp.

Check that the passed PlayerId is in the ServerState's player dict.

If it is, return the PlayerInfo record for the player.

Otherwise wrap the message in an ErrorRsp.

"<gameid>"

Add a game to a ServerState.

Adds the game ID to the added games list in changes, so that the server code will update its tables.

Add a player to a ServerState.

Adds the player ID to the added players list in changes, so that the server code will update its tables.

Remove a game and its players from a ServerState.

Removes the game ID from the removed games list in changes, so that the server code will update its tables.

Remove a player from a ServerState.

Adds the player ID to the removed players list in changes, so that the server code will update its tables.

Push a PublicGame onto a list of them.

Remove the PublicGame with the given GameId from a list of games.

Generate a random GameId string, ensuring that it is not already assigned to a game.

Will not be used by servers that have no concept of a game.

Generate a random PlayerId string, ensuring that it is not already assigned to a player.

Will not be used by servers that have no concept of a player.

Look up the gamestate for a GameId

Update the gamestate for a GameId.

Pass Nothing to remove the game's state.

Look up the PlayerInfo for a PlayerId

Update the PlyaerInfo for a PlayerId.

Pass Nothing to remove the player's info.

Create the ErrorRsp record returned in the errors from CheckOnlyGameid, checkGameid, and checkPlayerid.