def api.first

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:84

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/usage.bend as U
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R
import cswap-bend-cli@0.1.0.0/policy/pick.bend as K

84# The first last-resort API-key candidate, in sequence order.
85def api.first(+as: List<&2, T.Account>, +active: Nat) -> Maybe<&2, Nat>:
86  match as:
87    case Nil{}:
88      None{}
89    case Con{a, t}:
90      K.first.pick(R.isapi(a, active), U.account.slot(a), api.first(t, active))