def require_targets

cli@0.2.0.0 · cli.bend:4171

import Base

4171def require_targets(targets: List<&2, String>,
4172    +requester: ArgInfo, +items: List<&2, SpecItem>,
4173    +fields: List<&2, Field>,
4174    found: Maybe<&2, ScanFault>) -> Maybe<&2, ScanFault>:
4175  match targets found:
4176    case Nil{} Some{fault}: Some{fault}
4177    case Nil{} None{}: None{}
4178    case name <> tail Some{fault}: Some{fault}
4179    case name <> tail None{}:
4180      require_targets(tail, requester, items, fields,
4181        require_target_fault(find_spec_info(items, name, None{}),
4182          requester, fields))