~/jendhub

def write.done

ezx@1.11.0.0 · src/io/file.bend:108

import ezx@1.11.0.0/src/io/file.bend as File
import Base

108# a write's outcome, once the handle is shut
109def write.done(written: File & Result<&1, &1, U32 & String, Unit>) -> IO(Bool):
110  (file, r) = written
111  do IO<Bool>:
112    File.close(file)
113    return write.ok(r)

Uses (13)

Used by (1)