Module functions 

Auto-generated module

🤖 Generated with SplitRS

Traits

InputFilter

A REPL filter that preprocesses input before parsing.

ReplEventListener

A REPL event listener trait.

Functions

all_option_names

Extended option names.

classify_repl_input

Classify a REPL input string.

command_summary

Produce a one-line summary of a REPL command.

complete_command

Provide command completions for a given prefix.

format_prompt

Format a REPL prompt based on state.

help_text

Return the help text for the REPL.

highlight_keyword

Syntax-highlight a short token for REPL display.

is_complete

Check if input is a complete statement.

is_empty_input

Check if an input string is empty or only whitespace.

is_incomplete_repl_input

Returns true if a REPL input looks like an incomplete expression.

is_meta_command

Check if an input string is a meta-command (starts with :).

is_safe_command

Determine if a REPL command is “safe” (non-destructive).

is_tactic_block_start

Check if a line starts a tactic block (starts with by).

normalize_input

Normalize input by trimming and collapsing internal whitespace.

parse_bool

Parse a boolean option value.

parse_extended_command

Parse an extended REPL command from a string slice.

split_meta_command

Extract command name and rest from a meta-command string.

suggest_option

Suggest an option name for a misspelled option (Levenshtein heuristic).

word_count

Count words in an input string.