def inspect

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

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

211def inspect(max: U32, +kind: U32, +flags: U32, +stream: U32, b: Bytes.Bytes) -> Checked:
212  Bytes.Bytes{+len, buf} = b
213  +basic = first(size.reject(Bool.or(U32.is_gt(len, max), U32.is_gt(len, 16777215)), kind, stream),
214    first(reject(U32.is_gt(kind, 255), 1, True{}, stream),
215      first(reject(U32.is_gt(flags, 255), 1, True{}, stream),
216        reject(U32.is_gt(stream, 2147483647), 1, True{}, stream))))
217  inspect.basic(basic, kind, flags, stream, len, Bytes.Bytes{len, buf})