def decode.finish

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

import bend-kit-http2@0.4.0.0/huffman.bend as Huffman

import Base

1284def decode.finish(m: Maybe<&2, Decoder>) -> Maybe<&2, String>:
1285  match m:
1286    case None{}:
1287      None{}
1288    case Some{Decoder{+bits, +width, rev}}:
1289      decode.tail(Bool.and(U32.is_le(width, 7), U32.is_eq(bits, ((1 << U32.to_nat(width)) - 1 : U32))), rev)

Uses (11)

Used by (1)

bend-kit-http2@0.4.0.0/huffman:decode