def s_read

cswap-bend-cli@0.1.0.0 · server.bend:41

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

41def s_read(res: Fs.Res(String), f: File, buf: String) -> SP:
42  match res:
43    case Fail{e}:
44      SDone{f}
45    case Done{+c}:
46      s_chunk(Bool.not(String.is_empty(c)), f, buf, c)