def lift_unit

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

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

171def lift_unit(r: Result<&2, &2, String, Unit>) -> Act.of(Unit):
172  match r:
173    case Done{u}:
174      Act.pure(Unit, Unit{})
175    case Fail{m}:
176      Act.fail(Unit, 1, m)