def inspect.detail

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

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

187def inspect.detail(+kind: U32, +flags: U32, +stream: U32, +len: U32, b: Bytes.Bytes) -> Checked:
188  match kind:
189    case 0:
190      inspect.padded(kind, flags, stream, len, b)
191    case 1:
192      inspect.padded(kind, flags, stream, len, b)
193    case 4:
194      inspect.settings(rules(kind, flags, stream, len, 0, 0, 0, None{}), flags, stream, len, b)
195    case 5:
196      inspect.padded(kind, flags, stream, len, b)
197    case 8:
198      with_number(Checked, Bytes.get.u32be(b, 0), b => value =>
199        checked(rules(kind, flags, stream, len, 0, 0, value, None{}), kind, flags, stream, b))
200    case _:
201      checked(rules(kind, flags, stream, len, 0, 0, 0, None{}), kind, flags, stream, b)