def denied

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

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

353def denied(-R: Type, why: Retry.Deny, last: Maybe<&1, Result<&1, &1, Err, R>>) -> Maybe<&1, Result<&1, &1, Err, R>>:
354  match last:
355    case None{}:
356      Some{Fail{ErrDenied{why}}}
357    case Some{r}:
358      Some{r}