def encode.emit

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

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

607def encode.emit(smaller: Bool, +minimum: U32, +final: U32, st: State) -> State & List<&1, Bytes.Bytes>:
608  match smaller:
609    case True{}:
610      encode.cleared(table.resize(final, table.resize(minimum, st)),
611        [integer.encode(32, 31, minimum), integer.encode(32, 31, final)])
612    case False{}:
613      encode.cleared(table.resize(final, st), [integer.encode(32, 31, final)])