Enum ReplInputKind 

pub enum ReplInputKind {
    Term,
    Definition,
    Tactic,
    Command,
    Incomplete,
}

A REPL input classifier.

Variants

Term

A term to evaluate

Definition

A definition

Tactic

A tactic proof

Command

A command (e.g. #check, #eval)

Incomplete

An incomplete input

Trait Implementations

impl Clone for ReplInputKind

fn clone(&self) -> ReplInputKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplInputKind

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

Formats the value using the given formatter.

impl PartialEq for ReplInputKind

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

impl StructuralPartialEq for ReplInputKind