Enum GenericNCommand

pub enum GenericNCommand<Head, Leaf>
where
    Head: Clone + Display,
    Leaf: Clone + PartialEq + Eq + Display + Hash,
{
    Sort(Span, String, Option<(String, Vec<GenericExpr<String, String>>)>),
    Function(GenericFunctionDecl<Head, Leaf>),
    AddRuleset(Span, String),
    UnstableCombinedRuleset(Span, String, Vec<String>),
    NormRule {
        rule: GenericRule<Head, Leaf>,
    },
    CoreAction(GenericAction<Head, Leaf>),
    Extract(Span, GenericExpr<Head, Leaf>, GenericExpr<Head, Leaf>),
    RunSchedule(GenericSchedule<Head, Leaf>),
    PrintOverallStatistics(Span, Option<String>),
    Check(Span, Vec<GenericFact<Head, Leaf>>),
    PrintFunction(Span, String, Option<usize>, Option<String>, PrintFunctionMode),
    PrintSize(Span, Option<String>),
    Output {
        span: Span,
        file: String,
        exprs: Vec<GenericExpr<Head, Leaf>>,
    },
    Push(usize),
    Pop(Span, usize),
    Fail(Span, Box<GenericNCommand<Head, Leaf>>),
    Input {
        span: Span,
        name: String,
        file: String,
    },
    UserDefined(Span, String, Vec<Expr>),
}

A NCommand is a desugared Command, where syntactic sugars like Command::Datatype and Command::Rewrite are eliminated. Most of the heavy lifting in egglog is done over NCommands.

GenericNCommand is a generalization of NCommand, like how GenericCommand is a generalization of Command, allowing annotations over Head and Leaf.

TODO: The name “NCommand” used to denote normalized command, but this meaning is obsolete. A future PR should rename this type to something like “DCommand”.

Variants

Sort(Span, String, Option<(String, Vec<GenericExpr<String, String>>)>)

Function(GenericFunctionDecl<Head, Leaf>)

AddRuleset(Span, String)

UnstableCombinedRuleset(Span, String, Vec<String>)

NormRule

Fields

rule: GenericRule<Head, Leaf>

CoreAction(GenericAction<Head, Leaf>)

Extract(Span, GenericExpr<Head, Leaf>, GenericExpr<Head, Leaf>)

RunSchedule(GenericSchedule<Head, Leaf>)

PrintOverallStatistics(Span, Option<String>)

Check(Span, Vec<GenericFact<Head, Leaf>>)

PrintFunction(Span, String, Option<usize>, Option<String>, PrintFunctionMode)

PrintSize(Span, Option<String>)

Output

Fields

span: Span

file: String

exprs: Vec<GenericExpr<Head, Leaf>>

Push(usize)

Pop(Span, usize)

Fail(Span, Box<GenericNCommand<Head, Leaf>>)

Input

Fields

span: Span

name: String

file: String

UserDefined(Span, String, Vec<Expr>)

Implementations

impl<Head, Leaf> GenericNCommand<Head, Leaf>

where Head: Clone + Display, Leaf: Clone + PartialEq + Eq + Display + Hash,

pub fn to_command(&self) -> GenericCommand<Head, Leaf>

pub fn visit_exprs( self, f: &mut impl FnMut(GenericExpr<Head, Leaf>) -> GenericExpr<Head, Leaf>, ) -> Self

Trait Implementations

impl<Head, Leaf> Clone for GenericNCommand<Head, Leaf>

where Head: Clone + Display + Clone, Leaf: Clone + PartialEq + Eq + Display + Hash + Clone,

fn clone(&self) -> GenericNCommand<Head, Leaf>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Head, Leaf> Debug for GenericNCommand<Head, Leaf>

where Head: Clone + Display + Debug, Leaf: Clone + PartialEq + Eq + Display + Hash + Debug,

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

Formats the value using the given formatter.

impl<Head, Leaf> Hash for GenericNCommand<Head, Leaf>

where Head: Clone + Display + Hash, Leaf: Clone + PartialEq + Eq + Display + Hash + Hash,

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Head, Leaf> PartialEq for GenericNCommand<Head, Leaf>

where Head: Clone + Display + PartialEq, Leaf: Clone + PartialEq + Eq + Display + Hash + PartialEq,

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

where Head: Clone + Display + Eq, Leaf: Clone + PartialEq + Eq + Display + Hash + Eq,

impl<Head, Leaf> StructuralPartialEq for GenericNCommand<Head, Leaf>

where Head: Clone + Display, Leaf: Clone + PartialEq + Eq + Display + Hash,