Websockets.Command

Commands for interacting with Websockets

= Open String String Meta

| Close String

| Send String Value

Type for wrapping Commands before JSON encoding

open : String -> String -> List ( String, String ) -> Value

JSON Encode a Open command for sending through the Command Port

send : String -> Value -> Value

JSON Encode a Send command for sending through the Command Port

close : String -> Value

JSON Encode a Close command for sending through the Command Port

Modules