def decode.update.value

bend-kit-http2@0.4.0.0 · hpack.bend:429

import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
import Base

429def decode.update.value(+n: U32, st: State, c: Cursor) -> Maybe<&1, Step>:
430  State{entries, size, capacity, +allowed, pending, +minimum} = st
431  decode.update.valid(Bool.and(U32.is_le(n, allowed), decode.min(minimum, n)), n,
432    State{entries, size, capacity, allowed, pending, minimum}, c)

Uses (9)

Used by (1)