def read_input2

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

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

150def read_input2(dash: Bool, +path: String, noin: Bool) -> Act.of(String):
151  match dash:
152    case True{}:
153      read_stdin(noin)
154    case False{}:
155      IO.bind(Fs.Res(String), Fs.Res(String), Fs.read_file(path), r => read_path(r, path))