def publish.fail

cswap-bend-cli@0.1.0.0 · fs/write.bend:45

import cswap-bend-cli@0.1.0.0/fs/write.bend as Write

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

45def publish.fail(r: Fs.Res(Unit), +tmp: String) -> IO(Fs.Res(Unit)):
46  match r:
47    case Done{u}:
48      IO.pure(Fs.Res(Unit), Done{u})
49    case Fail{e}:
50      IO.bind(Fs.Res(Unit), Fs.Res(Unit), remove(tmp), c => IO.pure(Fs.Res(Unit), Fail{e}))

Uses (8)

Used by (3)