def parent.ok

cswap-bend-cli@0.1.0.0 · lock.bend:72

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

72def parent.ok(r: Fs.Res(Unit), timeout_ms: U32, path: String) -> IO(Fs.Res(Maybe<&1, File>)):
73  match r:
74    case Fail{e}:
75      IO.pure(Fs.Res(Maybe<&1, File>), Fail{e})
76    case Done{u}:
77      IO.bind(Fs.Res(File), Fs.Res(Maybe<&1, File>), File.open(path, "w"), g => opened(timeout_ms, g))