~/jendhub

def read.sized

ezx@1.11.0.0 · src/io/file.bend:78

import ezx@1.11.0.0/src/io/file.bend as File
import Base

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

Uses (9)

Used by (1)