type Decode

bend-kit-websocket@0.4.0.0 · websocket.bend:263

import Base

263# Need: the input does not hold a whole frame yet, and comes back intact.
264# Got: one frame, and the octets after it. Bad: the input breaks §5.2 whatever comes next.
265type Decode<-P: Type, -S: Type> is Type:
266  Need{input: S}
267  Got{frame: Frame<P>, rest: S}
268  Bad{code: U32, why: String}