~/jendhub

def create.done

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

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

6def create.done(r: Fs.Res(File)) -> IO(Fs.Res(Unit)):
7  match r:
8    case Fail{e}:
9      IO.pure(Fs.Res(Unit), Fail{e})
10    case Done{f}:
11      IO.bind(Unit, Fs.Res(Unit), File.close(f), u => IO.pure(Fs.Res(Unit), Done{Unit{}}))

Uses (8)

Used by (1)