def status_ident.m

cswap-bend-cli@0.1.0.0 · clilist.bend:271

import Base
import cswap-bend-cli@0.1.0.0/store/io.bend as SIo
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/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/store.bend as Store
import cswap-bend-cli@0.1.0.0/clibase.bend as Clibase

271def status_ident.m(c: Bool, +id: Store.Ident, +ctx: SBase.Ctx, +json: Bool) -> Act.of(Cmd.Out):
272  match c:
273    case True{}:
274      Clibase.done(logged_out(json))
275    case False{}:
276      Act.bind(Maybe<&2, Json.Json>, Cmd.Out, SIo.read_seq(SBase.root_of(ctx)), m => status_seq(m, ctx, json, id))