def write_slot

cswap-bend-cli@0.1.0.0 · store/ops.bend:289

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

289# Replace the credential of an existing slot (keeping the old one as .prev).
290def write_slot(+ctx: SBase.Ctx, +num: String, +creds: String) -> Act.of(Unit):
291  do ActM<Unit>:
292    m : Maybe<&2, Json.Json> <- SIo.read_seq(SBase.root_of(ctx))
293    write_slot2(SBase.root_of(ctx), creds, num, m)

Uses (11)

Used by (0)

No other definition uses this definition.