~/jendhub

def wc_bytes

bendtorch@1.2.0.0 · main.bend:3327

import bendtorch@1.2.0.0/main.bend as Bendtorch
import Base

3327def wc_bytes(-R: Type, f: File, r: Array<F32> & List<&2, U32>, k: File -> Array<F32> -> IO(R)) -> IO(R):
3328  match r:
3329    case Tuple{a, bs}:
3330      do IO<R>:
3331        rr : File & Result<&1, &1, U32 & String, Unit> <- File.write_bytes(f, bs)
3332        wc_ok(R, rr, a, k)

Uses (14)

Used by (1)