~/jendhub

def put.close

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

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

17def put.close(fr: File & Fs.Res(Unit)) -> IO(Fs.Res(Unit)):
18  (f, r) = fr
19  IO.bind(Unit, Fs.Res(Unit), File.close(f), u => IO.pure(Fs.Res(Unit), r))

Uses (9)

Used by (1)