~/jendhub

def finish

cswap-bend-cli@0.1.0.0 · main.bend:20

import cswap-bend-cli@0.1.0.0/main.bend as CswapBendCli
import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

20def finish(o: Cmd.Out) -> IO(Unit):
21  match o:
22    case Cmd.Out{code, out, err}:
23      IO.bind(Unit, Unit, IO.write(out), u => IO.bind(Unit, Unit, write_err(err), v => IO.exit(code)))

Uses (7)

Used by (1)