Struct Left 

pub struct Left {
    pub origin: Origin,
    pub sketch: AtomSketch,
    pub reason: LeftReason,
}

The atom that left A, the token naming where it was written, and the factor pair that did it.

Fields

origin: Origin

sketch: AtomSketch

reason: LeftReason

Implementations

impl Left

pub fn new(origin: Origin, sketch: AtomSketch, reason: LeftReason) -> Left

pub fn refusal(self) -> Refusal

Trait Implementations

impl Clone for Left

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Left

impl Debug for Left

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

Formats the value using the given formatter.

impl Eq for Left

impl PartialEq for Left

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Left