def read_text_opt

cswap-bend-cli@0.1.0.0 · swlive.bend:83

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

83# The file's text, None when it does not exist.
84def read_text_opt(+path: String) -> Act.of(Maybe<&2, String>):
85  do ActM<Maybe<&2, String>>:
86    ex : Bool <- Act.lift(Bool, Fs.exists(path))
87    read_text_opt2(ex, path)