def inspect.padded.if

bend-kit-http2@0.4.0.0 · http2.bend:176

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

176def inspect.padded.if(padded: Bool, +kind: U32, +flags: U32, +stream: U32, +len: U32, b: Bytes.Bytes) -> Checked:
177  match padded:
178    case True{}:
179      with_number(Checked, Bytes.get(b, 0), b => pad =>
180        inspect.promised(kind, flags, stream, len, pad, b))
181    case False{}:
182      inspect.promised(kind, flags, stream, len, 0, b)