def next.fits

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

import Base

475def next.fits(~P: Type, ~S: Type, ~cut: S -> @+hs:U32 -> @+len:U32 -> P & S, ~unmask: @+key:U32 -> P -> P, +fin: Bool, +op: U32, +m: Bool, +key: U32, +hs: U32, +len: U32, r: S & Bool) -> Decode<P, S>:
476  (b, ok) = r
477  match ok:
478    case True{}:
479      next.got(~P, ~S, ~unmask, fin, op, m, key, cut(b, hs, len))
480    case False{}:
481      Need{b}