def file.read

bend-kit-stream@0.3.1.0 · stream.bend:51

import bend-kit-stream@0.3.1.0/stream.bend as Stream

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

51def file.read(source: File, max: U32, tls: Bool, ms: U32) ->
52  IO(File & Result<&1, &1, U32 & String, U32 & Array<U32>>):
53  Files.read.words(source, max)

Uses (9)

Used by (2)