~/jendhub

def plain.pick

cswap-bend-cli@0.1.0.0 · usage/gate.bend:186

import cswap-bend-cli@0.1.0.0/usage/gate.bend as Gate
import Base

186def plain.pick(r: Result<&2, &2, String, String>, +cred: String) -> Gated:
187  match r:
188    case Done{c}:
189      gated.ok(c, Some{cred})
190    case Fail{k}:
191      gated.err(k, Some{cred})

Uses (6)

Used by (1)