def tried

cswap-bend-cli@0.1.0.0 · lock.bend:29

import cswap-bend-cli@0.1.0.0/lock.bend as Lock

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

29def tried(fr: File & Fs.Res(U32)) -> IO(File & Fs.Res(Bool)):
30  (f, r) = fr
31  IO.pure(File & Fs.Res(Bool), (f, tried.bool(r)))

Uses (9)

Used by (1)

cswap-bend-cli@0.1.0.0/lock:attempt