Swlive.read_text_opt: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swlive.bend as Swlive
Lines 83-87 of cswap-bend-cli@0.1.0.0/swlive.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&start_line=83&end_line=87

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

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=lift
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=exists
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=read_text_opt2