def sink_write

gralha-byte-words@0.1.0.0 · words.bend:261

import Base

261def sink_write(+path: String, file: File, st: Sink) -> IO(File):
262  match st:
263    case Sink{a, cap, pos}:
264      do IO<File>:
265        r : File & Array<U32> & Result<&1, &1, U32 & String, Unit> <- file_write_raw(file, a, 0, pos)
266        file_write_got(path, r)