def gather
cswap-bend-cli@0.1.0.0 · collect.bend:130
import cswap-bend-cli@0.1.0.0/collect.bend as Collect
import Base
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
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/store.bend as Store
130
131
132def gather(+ctx: SBase.Ctx, +seq: Json.Json) -> Act.of(List<&2, Info>):
133 Act.bind(Store.Ident, List<&2, Info>, Act.lift(Store.Ident, live_ident(ctx)),
134 id => Act.bind(String, List<&2, Info>, Act.lift(String, read_text(SBase.live_creds_path(ctx))), live => gather.go(ctx, seq, id, live)))