Enum ExtendedReplCommand 

pub enum ExtendedReplCommand {
    SetOption(String, String),
    GetOption(String),
    History,
    Undo,
    Reduce(Located<SurfaceExpr>),
    Stats,
    Search(String),
    Print(String),
}

Extended REPL command including option management and history.

Variants

SetOption(String, String)

Set an option: :set name value

GetOption(String)

Get an option: :get name

History

Show command history: :history

Undo

Undo last declaration: :undo

Reduce(Located<SurfaceExpr>)

Print a term’s normal form: :reduce expr

Stats

Show statistics: :stats

Search(String)

Search for a name: :search pattern

Print(String)

Print declaration info: :print name

Trait Implementations

impl Clone for ExtendedReplCommand

fn clone(&self) -> ExtendedReplCommand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExtendedReplCommand

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

Formats the value using the given formatter.

impl PartialEq for ExtendedReplCommand

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