def write

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

import Base

176# n bytes of a from byte start; the words come back
177def write(+path: String, a: Array<U32>, +start: U32, +n: U32) -> IO(Array<U32>):
178  do IO<Array<U32>>:
179    r : Array<U32> & Result<&1, &1, U32 & String, Unit> <- write_raw(path, a, start, n)
180    wr_done(path, r)