def write.ok

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

import Base

100# whether a write reported success
101def write.ok(res: Result<&1, &1, U32 & String, Unit>) -> Bool:
102  match res:
103    case Fail{_e}:
104      False{}
105    case Done{_u}:
106      True{}