Enum CompilePhaseExt 

pub enum CompilePhaseExt {
    Lex,
    Parse,
    Elaborate,
    Tactic,
    CodeGen,
}

A named phase in the compilation pipeline.

Variants

Lex

Lexing phase

Parse

Parsing phase

Elaborate

Elaboration phase

Tactic

Tactic evaluation phase

CodeGen

Code generation phase

Trait Implementations

impl Clone for CompilePhaseExt

fn clone(&self) -> CompilePhaseExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompilePhaseExt

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

Formats the value using the given formatter.

impl Display for CompilePhaseExt

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

Formats the value using the given formatter.

impl PartialEq for CompilePhaseExt

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

impl StructuralPartialEq for CompilePhaseExt