~/jendhub

def inflate.stored.copy

gralha-bytes@0.1.0.1 · bytes.bend:275

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

275def inflate.stored.copy(n: Nat, stream: BitStream, out: Bytes) -> Inflate:
276  match n:
277    case 0n: Inflate{stream, out}
278    case 1n+d: inflate.stored.byte(bits.read(stream, 8), out, input => output => inflate.stored.copy(d, input, output))

Uses (6)

Used by (1)