def inflate.cl

gralha-bytes@0.1.0.1 · bytes.bend:298

import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import Base

298def inflate.cl(n: Nat, +index: U32, stream: BitStream, codes: Bytes) -> Inflate:
299  match n:
300    case 0n: Inflate{stream, codes}
301    case 1n+d: inflate.cl.byte(bits.read(stream, 3), codes, index, input => output => inflate.cl(d, U32.inc(index), input, output))

Uses (8)

Used by (1)