~/jendhub

def retry.fail

cswap-bend-cli@0.1.0.0 · usage.bend:81

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

81def retry.fail(e: Maybe<&2, String>, consumed: Maybe<&2, String>, +cred: String, upd: Maybe<&2, String>) -> IO(Fetched):
82  match e:
83    case Some{+k}:
84      done(out.kind(retry.k(k), retry.struck(k, Maybe.default(&2, String, consumed, cred))), upd)
85    case None{}:
86      done(out.kind("refresh-failed", None{}), upd)

Uses (9)

Used by (1)