def rotate_do

cswap-bend-cli@0.1.0.0 · switch.bend:145

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/swbase.bend as B
import cswap-bend-cli@0.1.0.0/swlive.bend as L
import cswap-bend-cli@0.1.0.0/swrun.bend as R
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

145def rotate_do(+ctx: SBase.Ctx, +slot: String, +label: String, +warns: List<&2, String>, +opts: L.Opts) -> Act.of(Json.Json):
146  do ActM<Json.Json>:
147    op : Json.Json <- R.do_switch(ctx, slot, False{}, opts)
148    return B.result_of_op(op, label, warns)