Swlive.other_creds: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swlive.bend as Swlive
Lines 158-166 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=158&end_line=166

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/swcreds.bend as C
import cswap-bend-cli@0.1.0.0/store/io.bend as SIo

def other_creds(+root: String, +seq: Json.Json, +slots: List<&2, String>, +current: String) -> Act.of(List<&2, C.Other>):
  match slots:
    case Nil{}:
      Act.pure(List<&2, C.Other>, [])
    case Con{s, t}:
      do ActM<List<&2, C.Other>>:
        c : String <- SIo.read_cred(root, s, SIo.slot_email(seq, s))
        +rest : List<&2, C.Other> <- other_creds(root, seq, t, current)
        return sel_o(String.eq(s, current), rest, C.Other{s, c} <> rest)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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/act.bend&name=pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=read_cred
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=slot_email
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=Other
  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=ActM.pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=sel_o