JavaScript.WebSockets

Usage

data Connection

class WSSendable s

class WSReceivable s

data ConnClosing

data ConnectionException

Opening, closing, and working with connections

withUrlLeftovers

closeConnection

closeConnectionLeftovers

clearConnectionQueue

dumpConnectionQueue

connectionClosed

connectionCloseReason

connectionOrigin

Sending data

Receiving data

receiveTextMaybe

receiveDataMaybe

receiveMessageMaybe

receiveEitherMaybe