cli
Search uses release 0.2.0.0 · 1,008 definitions
Definitions (1,008)
- type Fault
- def Dec
- def Dec.pure
- def Dec.bind
- type Matches
- def matches
- def path
- def external_args
- def fail
- def bug
- def keep
- def path_textA command path as lint writes it: the root name, then each subcommand.
- def sub_items
- def scope_argsThe args in scope at path (§8.1), as parse orders them: globals first.
- type Form
- type WantWhat a reader asks of an arg; Q-static checks it against the spec.
- def kind_flag
- def kind_count
- def type_stemThe reader name a value type reads with: str, nat, u32, f32 or bool.
- def stem_noun
- def stem_article
- def always_present
- def may_absent
- def kind_text
- def fit_name
- def kind_verdict
- def absent_verdict
- def all_in
- def keys_issue
- def keys_verdict
- def form_fits
- def form_one
- def value_fits
- def choose_fits
- def program_fitsA program and its arguments come from one variadic string positional.
- def rest_verdict
- def want_verdictThe first Q-static message for an arg in scope: kind, absence, then keys, or for a program, then rest().
- def arg_verdict
- def verdictQ-static: depends only on the spec, the path, the id and the want.
- def field_found
- def field_seekThe field for id, or an absent one; after a hit it walks no further.
- def field_find
- def read_checkValidation first; reading a validated value never fails (§6.5).
- def read_with
- def get_one
- def get_opt
- def convert_all
- def get_many
- def true_of
- def nat_of
- def u32_of
- def f32_of
- def flag
- def count
- def str
- def str_opt
- def strs
- def nat
- def nat_opt
- def nats
- def u32
- def u32_opt
- def u32s
- def f32
- def f32_opt
- def f32s
- def bool
- def bool_opt
- def bools
- type ProgramA program and its arguments, as Cli.program reads them.
- def program_of
- def program_maybe
- def get_program
- def get_program_opt
- def program§6.5: a <COMMAND>...
- def program_opt
- def field_src
- def given
- def source
- def by_key_hit
- def find_by_key_goThe value under the first key equal to key; after a hit it walks no further.
- def find_by_key
- def keyed_cons
- def unzip_keyedA choose or route table as its keys and its values.
- def choice_decAfter validation the key exists: parse and samples keep one_of values.
- def choose_read
- def choose_check
- def choose_pick
- def choose_opt
- def choice_mustAfter validation a bare choose always has a value.
- def choose
- def Call
- def word_restSome{None{}} when text is the word name, Some{Some{rest}} when it is name, a space and rest, None{} otherwise.
- type KeyStepHow a route key's next word meets an item: not its subcommand, the subcommand of a built-in, the command the key ends at, or a command whose subcommands take the rest (§6.4).
- def key_user
- def key_word
- def key_step
- def key_goThe first subcommand named by each word of text, from items down, is a command.
- def route_text
- def route_keyA route key's words name a command; "" is the root.