def result.of

bend-kit-hairpin@0.14.0.0 · hairpin.bend:412

import Base
import bend-kit-retry@0.3.0.0/retry.bend as Retry

412def result.of(-R: Type, m: Maybe<&1, Result<&1, &1, Err, R>>) -> Result<&1, &1, Err, R>:
413  match m:
414    case None{}:
415      Fail{ErrDenied{Retry.DenySpent{}}}
416    case Some{r}:
417      r