def out.fail.at

bolt@1.26.0.0 · src/args.bend:163

import bolt@1.26.0.0/src/args.bend as Args
import Base
import shake@0.6.0.0/main.bend as Shake

163# a failed parse, given whether it asked for usage: that usage page, or the
164# error
165def out.fail.at(asked: Maybe<&2, List<&2, String>>, +ee: Shake.ParseErr) -> Out:
166  match asked:
167    case Some{path}:
168      Stop{Page{}, help_text(path), 0}
169    case None{}:
170      Stop{Err{}, err_text(ee), 1}

Uses (8)

Used by (1)