~/jendhub

def file.read.sized

snap@1.4.0.0 · src/file.bend:77

import snap@1.4.0.0/src/file.bend as File
import Base

77# a file read whole, with fuel enough for the size it reported
78def file.read.sized(got: File & Result<&1, &1, U32 & String, U32>) -> IO(String):
79  (file, res) = got
80  file.slurp(file.reads.of(res), file, "")

Uses (9)

Used by (1)