def write.words

bend-kit-files@0.3.1.0 · files.bend:209

import bend-kit-files@0.3.1.0/files.bend as Files
import Base

209# Writes the entire buffer or fails. Errors retain the File; writes before
210# an error are not rolled back. A len beyond the word array fails EINVAL.
211def write.words(file: File, len: U32, words: Array<U32>) ->
212  IO(File & Result<&1, &1, U32 & String, Unit>):
213  import "./effs/files.c"
214  import "./effs/files.js"

Uses (8)

Used by (2)