WEBSOCKET

INTRO

The websocket module provides RFC 6455 functions.

Listing 1. Frame Type
datatype FrameType = ContFrame | TextFrame | BinFrame | CloseFrame | PingFrame | PongFrame
Listing 2. Frame
type Frame = { fin : bool, rsv1 : bool, rsv2 : bool, rsv3 : bool, typ : FrameType, payload : Word8Vector.vector }