def decode.step

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

import Base

1246def decode.step(n: Nat, +byte: U32, d: Decoder) -> Maybe<&2, Decoder>:
1247  match n:
1248    case 0n:
1249      Some{d}
1250    case 1n+p:
1251      +p = p
1252      do Maybe<&2, Decoder>:
1253        next: Decoder <- decode.bit(d, ((byte >> p) .&. 1 : U32))
1254        decode.step(p, byte, next)