def encode.ready

bend-kit-http2@0.4.0.0 · huffman.bend:1204

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

1204def encode.ready(s: String, m: Maybe<&2, U32>) -> Maybe<&1, Bytes.Bytes>:
1205  match m:
1206    case None{}:
1207      None{}
1208    case Some{+bits}:
1209      +len = ((bits >> 3n) + Bool.pick(U32, U32.is_ne((bits .&. 7 : U32), 0), 1, 0) : U32)
1210      Some{encode.finish(encode.go(s, Builder{Bytes.new(len), 0, 0, 0}))}