Cli.find_sub_go: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2707-2713 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2707&end_line=2713 import Base # The first Sub named or aliased query; after a hit it walks no further. def find_sub_go(items: List<&2, Item>, +query: String, found: Maybe<&2, SubFound>) -> Maybe<&2, SubFound>: match items found: case _ Some{hit}: Some{hit} case Nil{} None{}: None{} case item <> tail None{}: find_sub_go(tail, query, sub_found(item, query)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=SubFound https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sub_found