Struct ParseMode 

pub struct ParseMode {
    pub allow_tactics: bool,
    pub recover_on_error: bool,
    pub lenient: bool,
}

Flags controlling parser behavior.

Fields

allow_tactics: bool

Whether to allow tactics inside term mode.

recover_on_error: bool

Whether to recover from errors (continue after first error).

lenient: bool

Whether to parse in lenient mode (accept partial expressions).

Implementations

impl ParseMode

pub fn strict() -> Self

Strict mode: no recovery, no tactics.

pub fn lenient() -> Self

Lenient mode: allow partial results.

Trait Implementations

impl Clone for ParseMode

fn clone(&self) -> ParseMode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ParseMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ParseMode

fn default() -> ParseMode

Returns the “default value” for a type.

impl Display for ParseMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ParseMode

fn eq(&self, other: &ParseMode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ParseMode

impl Eq for ParseMode

impl StructuralPartialEq for ParseMode