~/jendhub

def sys.write.done

ezsys@0.1.0.0 · src/sys.bend:109

import ezsys@0.1.0.0/src/sys.bend as Sys
import Base

109# close the file, then answer the write's result
110def sys.write.done(
111  pair: File & Result<&1, &1, U32 & String, Unit>
112) -> IO(Result<&1, &1, U32 & String, Unit>):
113  (file, res) = pair
114  IO.bind(Unit, Result<&1, &1, U32 & String, Unit>, File.close(file),
115    _u => IO.pure(Result<&1, &1, U32 & String, Unit>, res))

Uses (11)

Used by (1)