~/jendhub

def done.close

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

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

94def done.close(-A: Type, r: Fs.Res(A), f: File) -> IO(Fs.Res(A)):
95  IO.bind(Unit, Fs.Res(A), File.close(f), u => IO.pure(Fs.Res(A), r))

Uses (7)

Used by (1)