def find_key

cli@0.2.0.0 · cli.bend:2619

import Base

2619# The first key named query; after a hit it only walks the rest.
2620def find_key(keys: List<&2, OptKey>, +query: String,
2621    found: Maybe<&2, OptFound>) -> Maybe<&2, OptFound>:
2622  match keys found:
2623    case Nil{} hit: hit
2624    case key <> tail Some{hit}: Some{hit}
2625    case key <> tail None{}: find_key(tail, query, key_found(key, query))