def first

bend-kit-commands@0.4.0.0 · commands.bend:94

import Base

94# r's value, unless r or then z failed.
95def first(-A: Type, r: Result<&1, &1, U32 & String, A>, z: Result<&1, &1, U32 & String, Unit>) -> Result<&1, &1, U32 & String, A>:
96  match r z:
97    case Fail{e} _:
98      Fail{e}
99    case Done{x} Fail{e}:
100      Fail{e}
101    case Done{x} Done{u}:
102      Done{x}