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# Act on `d`.
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)

Uses (8)

Used by (1)