~/jendhub

def read_text.sized

bend-visgraph@2.0.0.0 · src/series.bend:70

import bend-visgraph@2.0.0.0/src/series.bend as Series
import Base

70def read_text.sized(m: File & Result<&1, &1, U32 & String, U32>) -> IO(String):
71  (f, r) = m
72  do IO<String>:
73    size : U32 <- IO.pass(U32, r)
74    got : File & Result<&1, &1, U32 & String, String> <- File.read(f, size)
75    read_text.done(got)

Uses (11)

Used by (1)