Io.read_cred: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/io.bend as Io
Lines 109-113 of cswap-bend-cli@0.1.0.0/store/io.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&start_line=109&end_line=113

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
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

# A slot's stored credential: the decoded text, "" when absent or undecodable.
def read_cred(+root: String, +slot: String, +email: String) -> Act.of(String):
  do ActM<String>:
    ex : Bool <- Act.lift(Bool, Fs.exists(SBase.enc_path(root, slot, email)))
    read_cred2(ex, SBase.enc_path(root, slot, email))

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=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/store/base.bend&name=enc_path
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=read_cred2