def go.pick

cswap-bend-cli@0.1.0.0 · policy/algo.bend:83

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/decide.bend as D
import cswap-bend-cli@0.1.0.0/policy/safe.bend as SF

83def go.pick(+algo: SF.Algo, +via: Via, +a: Nat, +e: D.Env) -> T.Decision:
84  match e:
85    case D.Env{active, as, us, now, cfg, st, mem}:
86      sw(SF.pick(algo, as, active, us, now, D.cfg.models(cfg), need.of(algo, via, a, D.cfg.threshold(cfg))), algo, trig.via(via, a),
87        nosw(D.none.cf(T.Proactive{}, None{}, as, active, us, now, D.cfg.models(cfg))))