def read_path

cswap-bend-cli@0.1.0.0 · cfgio.bend:143

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/setcmd.bend as Setcmd

143def read_path(r: Fs.Res(String), +path: String) -> Act.of(String):
144  match r:
145    case Done{t}:
146      Act.pure(String, t)
147    case Fail{e}:
148      failed(1, "could not read " ++ path ++ ": " ++ Setcmd.err.msg(e))