def header.ext

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

import Base

432# short: no extended length (l7 < 126); mid: 2 octets of it (l7 == 126); else 8.
433def header.ext(short: Bool, mid: Bool, t: List<&2, U32>, +masked: Bool, +b0: U32, +m: Bool, +l7: U32) -> Header:
434  match short:
435    case True{}:
436      header.key(m, t, masked, b0, 2, 0, l7)
437    case False{}:
438      match mid:
439        case True{}:
440          header.ext16(t, masked, b0, m)
441        case False{}:
442          header.ext64(t, masked, b0, m)