def run_switch

cswap-bend-cli@0.1.0.0 · daemon/apply.bend:89

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/switch.bend as Sw
import cswap-bend-cli@0.1.0.0/daemon/dec.bend as Dc

89def run_switch(+c: Dc.Ctx, +root: String, go: Dc.Dec, +to: String, +trigger: String) -> Act.of(Dc.TickRes):
90  do ActM<Dc.TickRes>:
91    r : Json.Json <- Sw.switch_to(Dc.ctx_store(c), to, False{}, Dc.ctx_opts(c))
92    after_switch(c, root, go, r)