Struct ParseFlagsExt 

pub struct ParseFlagsExt {
    pub allow_sorry: bool,
    pub unicode_ops: bool,
    pub error_recovery: bool,
    pub warnings_as_errors: bool,
}

A parse flag set for controlling parser behaviour.

Fields

allow_sorry: bool

Whether to allow sorry in proofs

unicode_ops: bool

Whether to enable unicode operators

error_recovery: bool

Whether to recover from errors

warnings_as_errors: bool

Whether to emit warnings as errors

Implementations

impl ParseFlagsExt

pub fn default_flags() -> Self

Create a default set of flags.

pub fn with_sorry(self) -> Self

Enable sorry.

pub fn strict(self) -> Self

Disable error recovery.

Trait Implementations

impl Clone for ParseFlagsExt

fn clone(&self) -> ParseFlagsExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParseFlagsExt

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

Formats the value using the given formatter.

impl Default for ParseFlagsExt

fn default() -> ParseFlagsExt

Returns the “default value” for a type.