def settings.go

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

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

98def settings.go(n: Nat, b: Bytes.Bytes, +at: U32, m: Maybe<&2, Error>) -> Bytes.Bytes & Maybe<&2, Error>:
99  match n:
100    case 0n:
101      (b, m)
102    case 1n+p:
103      with_number(Bytes.Bytes & Maybe<&2, Error>, Bytes.get.u16be(b, at), b => id =>
104        with_number(Bytes.Bytes & Maybe<&2, Error>, Bytes.get.u32be(b, (at + 2 : U32)), b => value =>
105          settings.go(p, b, (at + 6 : U32), first(m, setting(id, value)))))