def tool_unit

cswap-bend-cli@0.1.0.0 · fs.bend:44

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

import Base

44def tool_unit(program: String, args: List<String>) -> IO(Res(Unit)):
45  IO.bind(Res(String), Res(Unit), tool(program, args), r => IO.pure(Res(Unit), tool.unit(r)))

Uses (9)

Used by (6)