def res_opt

bend-collections-laws-math@1.0.0.0 · src/math/fixed.bend:50

import Base
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as N

50def res_opt(-T: Data, r: Result<&2, &2, N.NumError, T>) -> Maybe<&2, T>:
51  match r:
52    case Done{x}:
53      Some{x}
54    case Fail{e}:
55      None{}