def Fs.read.sized.go

bend-kube-runtime@0.2.0.0 · src/client.bend:73

import Base

73def Fs.read.sized.go(f: File, +n: U32, empty: Bool) -> IO(Res(String)):
74  match empty:
75    case True{}:
76      Fs.close_with(String, f, Done{""})
77    case False{}:
78      IO.bind(File & Res(List<&2, U32>), Res(String), File.read_bytes(f, n), Fs.read.got)