def err_path

shake@0.7.0.0 · main.bend:242

import shake@0.7.0.0/main.bend as Shake
import Base
import shake@0.7.0.0/src/cli.bend as S

242# the command path where the parse failed: the path selected when it did, or
243# for a request for help the path it asks about; the root for a request for
244# the version
245def err_path(err: S.ParseErr) -> List<&2, String>:
246  match err:
247    case S.UnknownFlag{at, _flag}:
248      at
249    case S.Missing{at, _name}:
250      at
251    case S.NoValue{at, _name}:
252      at
253    case S.BadValue{at, _name, _value}:
254      at
255    case S.NeedHelp{path}:
256      path
257    case S.Unexpected{at, _arg}:
258      at
259    case S.Repeated{at, _name}:
260      at
261    case S.NeedVersion{}:
262      []

Uses (3)

Used by (0)

No other definition uses this definition.