def find_sub_go

cli@0.2.0.0 · cli.bend:2707

import cli@0.2.0.0/cli.bend as Cli

import Base

2707# The first Sub named or aliased query; after a hit it walks no further.
2708def find_sub_go(items: List<&2, Item>, +query: String,
2709    found: Maybe<&2, SubFound>) -> Maybe<&2, SubFound>:
2710  match items found:
2711    case _ Some{hit}: Some{hit}
2712    case Nil{} None{}: None{}
2713    case item <> tail None{}: find_sub_go(tail, query, sub_found(item, query))

Uses (6)

Used by (1)

cli@0.2.0.0/cli:find_sub