def encode.exact

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

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

582def encode.exact(found: Bool, +index: U32, +name: String, +value: String, huff: Bool, st: State) -> Maybe<&1, State & Bytes.Bytes>:
583  match found:
584    case True{}:
585      Some{(st, integer.encode(128, 127, index))}
586    case False{}:
587      encode.literal(0, name, value, huff, st)