~/jendhub

def find_arg_go

cli@0.2.0.0 · cli.bend:4076

import cli@0.2.0.0/cli.bend as Cli
import Base

4076# The first Arg whose id is id; after a hit it walks no further.
4077def find_arg_go(items: List<&2, Item>, +id: String,
4078    found: Maybe<&2, ArgInfo>) -> Maybe<&2, ArgInfo>:
4079  match items found:
4080    case _ Some{hit}: Some{hit}
4081    case Nil{} None{}: None{}
4082    case item <> tail None{}: find_arg_go(tail, id, arg_info_found(item, id))

Uses (6)

Used by (1)