def lift.m

bendonnect-rpc@0.1.0.0 · src/pbjson.bend:435

import Base

435def lift.m(-T: Data, m: Maybe<&2, T>, what: String) -> Result<&2, &1, String, T>:
436  match m:
437    case None{}:
438      Fail{what}
439    case Some{x}:
440      Done{x}