def record_sw

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

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
import cswap-bend-cli@0.1.0.0/daemon/state.bend as St

51def record_sw(+c: Dc.Ctx, +root: String, +to: String, +trigger: String, +lh: Maybe<&2, U32>, +lr: Maybe<&2, U32>, +r: Json.Json) -> Act.of(Dc.TickRes):
52  do ActM<Dc.TickRes>:
53    st : Json.Json <- Act.lift(Json.Json, St.read_state(root))
54    St.write_state(root, St.record_switch(st, Dc.ctx_now(c), to, from_number(r), lh, lr, trigger))
55    return switched_res(c, trigger, r)