def lift_str

cswap-bend-cli@0.1.0.0 · cfgio.bend:157

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act

157def lift_str(r: Result<&2, &2, String, String>) -> Act.of(String):
158  match r:
159    case Done{s}:
160      Act.pure(String, s)
161    case Fail{m}:
162      failed(1, m)