def find_one_of

cli@0.2.0.0 · cli.bend:2007

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

2007def find_one_of(items: List<&2, Item>) -> Maybe<&2, List<&2, String>>:
2008  match items:
2009    case Nil{}: None{}
2010    case OneOf{values} <> tail: Some{values}
2011    case head <> tail: find_one_of(tail)

Uses (4)

Used by (10)