def apply
cswap-bend-cli@0.1.0.0 · daemon/apply.bend:127
import cswap-bend-cli@0.1.0.0/daemon/apply.bend as Apply
import Base
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
127
128def apply(+c: Dc.Ctx, d: Dc.Dec) -> Act.of(Dc.TickRes):
129 match d:
130 case Dc.DNone{reason, detail}:
131 Act.pure(Dc.TickRes, Dc.none_res(c, reason, detail))
132 case Dc.DExhausted{earliest}:
133 Act.pure(Dc.TickRes, Dc.exhausted_res(c, earliest))
134 case Dc.DGo{to, email, trigger, lh, lr}:
135 go_safe(c, d)