~/jendhub

def on_fail2

cswap-bend-cli@0.1.0.0 · act.bend:51

import cswap-bend-cli@0.1.0.0/act.bend as Act
import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

51def on_fail2(-A: Type, r: Fs.Res(A), cleanup: of(Unit)) -> of(A):
52  match r:
53    case Done{x}:
54      IO.pure(Fs.Res(A), Done{x})
55    case Fail{e}:
56      IO.bind(Fs.Res(Unit), Fs.Res(A), cleanup, c => IO.pure(Fs.Res(A), Fail{e}))

Uses (6)

Used by (1)