def Result.map

Base · base.bend:905

905def Result.map(
906  a, b, -E: Kind(a), -A: Kind(b), -B: Kind(b), f: A -> B,
907  r: Result<a, b, E, A>
908) -> Result<a, b, E, B>:
909  match r:
910    case Fail{e}:
911      Fail{e}
912    case Done{x}:
913      Done{f(x)}