def read_text

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

import Base

77def read_text(path: String) -> IO(String):
78  do IO<String>:
79    f : File <- IO.try(File, File.open(path, "r"))
80    sized : File & Result<&1, &1, U32 & String, U32> <- File.size(f)
81    read_text.sized(sized)