Enum SourceExpr 

pub enum SourceExpr {
    Const {
        ty: ColumnTy,
        val: Value,
    },
    Var {
        id: Variable,
        ty: ColumnTy,
        name: String,
    },
    ExternalCall {
        var: Variable,
        ty: ColumnTy,
        func: ExternalFunctionId,
        args: Vec<SyntaxId>,
    },
    FunctionCall {
        func: FunctionId,
        atom: AtomId,
        args: Vec<SyntaxId>,
    },
}

Representative source syntax for one line of an egglog query, namely, the left-hand-side of an egglog rule.

Variants

Const

A constant.

Fields

ty: ColumnTy

val: Value

Var

A single variable.

Fields

id: Variable

ty: ColumnTy

name: String

ExternalCall

A call to an external (aka primitive) function.

Fields

var: Variable

This external function call must be present in the destination query, and bound to this variable

ty: ColumnTy

func: ExternalFunctionId

args: Vec<SyntaxId>

FunctionCall

A query of an egglog-level function (i.e. a table).

Fields

func: FunctionId

The egglog function being bound.

atom: AtomId

The atom in the destination query (i.e. at the egglog-bridge level) to which this call corresponds.

args: Vec<SyntaxId>

Arguments to the function.

Trait Implementations

impl Clone for SourceExpr

fn clone(&self) -> SourceExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceExpr

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

Formats the value using the given formatter.