~/jendhub

def found

bend-kit-webhooks@0.11.0.1 · webhooks.bend:244

import bend-kit-webhooks@0.11.0.1/webhooks.bend as Webhooks
import Base

244def found(-A: Data, r: Result<&1, &1, Err, Bool>, v: A) -> Result<&1, &1, Err, A>:
245  match r:
246    case Fail{e}:
247      Fail{e}
248    case Done{ok}:
249      Bool.pick(Result<&1, &1, Err, A>, ok, Done{v}, Fail{NoMatch{}})

Uses (4)

Used by (1)