~/jendhub

def best.pick

bend-kit-router@0.2.0.0 · router.bend:302

import bend-kit-router@0.2.0.0/router.bend as Router
import Base

302def best.pick(~A: Data, best: Maybe<&2, Path<A>>, candidate: Path<A>) -> Maybe<&2, Path<A>>:
303  match best:
304    case None{}:
305      Some{candidate}
306    case Some{old}:
307      best.compare(~A, candidate, old)

Uses (3)

Used by (1)