def encode.pending

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

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

615def encode.pending(m: Maybe<&2, U32>, minimum: Maybe<&2, U32>, st: State) -> State & List<&1, Bytes.Bytes>:
616  match m:
617    case None{}:
618      (st, Nil{})
619    case Some{+final}:
620      +smallest = limit.min(minimum, final)
621      encode.emit(U32.is_lt(smallest, final), smallest, final, st)