~/jendhub

def recover

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

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

116# A failed switch is an error event, not a crashed tick.
117def recover(+c: Dc.Ctx, r: Fs.Res(Dc.TickRes)) -> Act.of(Dc.TickRes):
118  match r:
119    case Done{t}:
120      Act.pure(Dc.TickRes, t)
121    case Fail{(code, msg)}:
122      Act.pure(Dc.TickRes, Dc.error_res(c, msg))

Uses (8)

Used by (1)