~/jendhub

def wc_bytes

bendtorch@1.3.0.0 · main.bend:3611

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

3611def wc_bytes(-R: Type, f: File, r: Array<F32> & List<&2, U32>, k: File -> Array<F32> -> IO(R)) -> IO(R):
3612  match r:
3613    case Tuple{a, bs}:
3614      do IO<R>:
3615        rr : File & Result<&1, &1, U32 & String, Unit> <- File.write_bytes(f, bs)
3616        wc_ok(R, rr, a, k)

Uses (14)

Used by (1)