diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-15 16:36:05 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-15 16:36:05 +0800 |
| commit | 53fc28520c1314cd1bd223628c30d6a4423756a1 (patch) | |
| tree | 5f1996b541f673911b8c5402c1e5ca5777a89975 /.github | |
| parent | 9c3d22ad86b7c3e915f734b2c6c137c6b8b7474e (diff) | |
feat(picker): add early route on missing flag
Introduce `or_route` and a `PickerResult` type that carries an optional
route value. When a flag is absent, the closure given to `or_route` is
evaluated and stored in `error_route`, allowing the caller to exit early
without a default value.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions