def encode.literal

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

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

574def encode.literal(+mode: U32, +name: String, +value: String, huff: Bool, +st: State) -> Maybe<&1, State & Bytes.Bytes>:
575  +index = find.index(False{}, st, name, value)
576  +prefix = Bool.pick(U32, U32.is_eq(mode, 0), 64, Bool.pick(U32, U32.is_eq(mode, 2), 16, 0))
577  +mask = Bool.pick(U32, U32.is_eq(mode, 0), 63, 15)
578  Maybe.bind(&1, Bytes.Bytes, State & Bytes.Bytes,
579    encode.literal.bytes(index, prefix, mask, huff, name, value), b =>
580      encode.literal.done(U32.is_eq(mode, 0), Field{name, value, mode}, st, b))