Enum ParsingError

pub enum ParsingError {
    EmptyLiteralError,
    EmptyFreeGroupTermError,
    NoLowerCaseError(char),
    InvalidLiteralError(String),
    NonMatchingBracketsError(String),
    ParsingAtomError(String),
    ParsingInverseError(String, String),
    ParsingMeetError(String, String),
    ParsingJoinError(String, String),
    ParsingProductError(String, String, String),
}

An error that arises by parsing literals from strings.

Variants

EmptyLiteralError

EmptyFreeGroupTermError

NoLowerCaseError(char)

InvalidLiteralError(String)

NonMatchingBracketsError(String)

ParsingAtomError(String)

ParsingInverseError(String, String)

ParsingMeetError(String, String)

ParsingJoinError(String, String)

ParsingProductError(String, String, String)

Trait Implementations

impl Debug for ParsingError

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

Formats the value using the given formatter.

impl Display for ParsingError

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

Formats the value using the given formatter.

impl PartialEq for ParsingError

fn eq(&self, other: &ParsingError) -> 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 Eq for ParsingError

impl StructuralPartialEq for ParsingError