def after_switch

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

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/daemon/dec.bend as Dc

74def after_switch(+c: Dc.Ctx, +root: String, go: Dc.Dec, +r: Json.Json) -> Act.of(Dc.TickRes):
75  match go:
76    case Dc.DGo{to, email, trigger, lh, lr}:
77      after_switch2(is_switched(r), c, root, to, trigger, lh, lr, r)
78    case _:
79      Act.pure(Dc.TickRes, Dc.error_res(c, "internal: not a switch"))