def read.done

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

import Base

57def read.done(fr: File & Res(String)) -> IO(Res(String)):
58  (f, r) = fr
59  IO.bind(Unit, Res(String), File.close(f), u => IO.pure(Res(String), r))