def read.words

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

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

import Base

169# A successful zero-length read is EOF (or max = 0). Reads at most 1 MiB
170# per call; a short read is not necessarily EOF. Errors retain the File.
171def read.words(file: File, max: U32) ->
172  IO(File & Result<&1, &1, U32 & String, U32 & Array<U32>>):
173  import "./effs/files.c"
174  import "./effs/files.js"

Uses (7)

Used by (2)