Struct ExprBuilder 

pub struct ExprBuilder<T> { /* private fields */ }

Builder for constructing Expr objects annotated with some data (possibly taking default value) and optionally a source_loc.

Implementations

impl<T> ExprBuilder<T>

pub fn with_expr_kind(self, expr_kind: ExprKind<T>) -> Expr<T>

Construct an Expr containing the data and source_loc in this ExprBuilder and the given ExprKind.

pub fn ite_arc( self, test_expr: Arc<Expr<T>>, then_expr: Arc<Expr<T>>, else_expr: Arc<Expr<T>>, ) -> Expr<T>

Create a ternary (if-then-else) Expr. Takes Arcs instead of owned Exprs. test_expr must evaluate to a Bool type

pub fn record_arc(self, map: Arc<BTreeMap<SmolStr, Expr<T>>>) -> Expr<T>

Create an Expr which evaluates to a Record with the given key-value mapping.

If you have an iterator of pairs, generally prefer calling .record() instead of .collect()-ing yourself and calling this, potentially for efficiency reasons but also because .record() will properly handle duplicate keys but your own .collect() will not (by default).

impl<T: Clone + Default> ExprBuilder<T>

pub fn with_same_source_loc<U>(self, expr: &Expr<U>) -> Self

Utility used the validator to get an expression with the same source location as an existing expression. This is done when reconstructing the Expr with type information.

Trait Implementations

impl<T: Clone> Clone for ExprBuilder<T>

fn clone(&self) -> ExprBuilder<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ExprBuilder<T>

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

Formats the value using the given formatter.

impl<T: Default + Clone> ExprBuilder for ExprBuilder<T>

fn val(self, v: impl Into<Literal>) -> Expr<T>

Create an Expr that’s just a single Literal.

Note that you can pass this a Literal, an Integer, a String, etc.

fn unknown(self, u: Unknown) -> Expr<T>

Create an Unknown Expr

fn var(self, v: Var) -> Expr<T>

Create an Expr that’s just this literal Var

fn slot(self, s: SlotId) -> Expr<T>

Create an Expr that’s just this SlotId

fn ite( self, test_expr: Expr<T>, then_expr: Expr<T>, else_expr: Expr<T>, ) -> Expr<T>

Create a ternary (if-then-else) Expr.

test_expr must evaluate to a Bool type

fn not(self, e: Expr<T>) -> Expr<T>

Create a ‘not’ expression. e must evaluate to Bool type

fn is_eq(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘==’ expression

fn and(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create an ‘and’ expression. Arguments must evaluate to Bool type

fn or(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create an ‘or’ expression. Arguments must evaluate to Bool type

fn less(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘<’ expression. Arguments must evaluate to Long type

fn lesseq(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘<=’ expression. Arguments must evaluate to Long type

fn add(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create an ‘add’ expression. Arguments must evaluate to Long type

fn sub(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘sub’ expression. Arguments must evaluate to Long type

fn mul(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘mul’ expression. Arguments must evaluate to Long type

fn neg(self, e: Expr<T>) -> Expr<T>

Create a ‘neg’ expression. e must evaluate to Long type.

fn is_in(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create an ‘in’ expression. First argument must evaluate to Entity type. Second argument must evaluate to either Entity type or Set type where all set elements have Entity type.

fn contains(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘contains’ expression. First argument must have Set type.

fn contains_all(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create a ‘contains_all’ expression. Arguments must evaluate to Set type

fn contains_any(self, e1: Expr<T>, e2: Expr<T>) -> Expr<T>

Create an ‘contains_any’ expression. Arguments must evaluate to Set type

fn is_empty(self, expr: Expr<T>) -> Expr<T>

Create an ‘is_empty’ expression. Argument must evaluate to Set type

fn get_tag(self, expr: Expr<T>, tag: Expr<T>) -> Expr<T>

Create a ‘getTag’ expression. expr must evaluate to Entity type, tag must evaluate to String type.

fn has_tag(self, expr: Expr<T>, tag: Expr<T>) -> Expr<T>

Create a ‘hasTag’ expression. expr must evaluate to Entity type, tag must evaluate to String type.

fn set(self, exprs: impl IntoIterator<Item = Expr<T>>) -> Expr<T>

Create an Expr which evaluates to a Set of the given Exprs

fn record( self, pairs: impl IntoIterator<Item = (SmolStr, Expr<T>)>, ) -> Result<Expr<T>, ExpressionConstructionError>

Create an Expr which evaluates to a Record with the given (key, value) pairs.

fn call_extension_fn( self, fn_name: Name, args: impl IntoIterator<Item = Expr<T>>, ) -> Expr<T>

Create an Expr which calls the extension function with the given Name on args

fn unary_app(self, op: impl Into<UnaryOp>, arg: Expr<T>) -> Expr<T>

Create an application Expr which applies the given built-in unary operator to the given arg

fn binary_app( self, op: impl Into<BinaryOp>, arg1: Expr<T>, arg2: Expr<T>, ) -> Expr<T>

Create an application Expr which applies the given built-in binary operator to arg1 and arg2

fn get_attr(self, expr: Expr<T>, attr: SmolStr) -> Expr<T>

Create an Expr which gets a given attribute of a given Entity or record.

expr must evaluate to either Entity or Record type

fn has_attr(self, expr: Expr<T>, attr: SmolStr) -> Expr<T>

Create an Expr which tests for the existence of a given attribute on a given Entity or record.

expr must evaluate to either Entity or Record type

fn like(self, expr: Expr<T>, pattern: Pattern) -> Expr<T>

Create a ‘like’ expression.

expr must evaluate to a String type

fn is_entity_type(self, expr: Expr<T>, entity_type: EntityType) -> Expr<T>

Create an ‘is’ expression.

type Expr = Expr<T>

The type of expression constructed by this instance of ExprBuilder.

type Data = T

Type for extra information stored on nodes of the expression AST. This can be () if no data is stored.

fn loc(&self) -> Option<&Loc>

Extract the location for this builder, if set. Used internally to provide utilities that construct multiple nodes which should all be reported as having the same source location.

fn data(&self) -> &Self::Data

Extract the data that will be stored on the constructed expression. Used internally to provide utilities that construct multiple nodes which will all have the same data.

fn with_data(data: T) -> Self

Build an expression storing this information

fn with_maybe_source_loc(self, maybe_source_loc: Option<&Loc>) -> Self

Build an expression located at l, if l is Some. An implementation may ignore this if it cannot store source information.

fn new() -> Self

where Self: Sized,

Construct a new expression builder for an expression that will not carry any data.

fn with_source_loc(self, l: &Loc) -> Self

where Self: Sized,

Build an expression located at l. An implementation may ignore this if it cannot store source information.

fn extended_has_attr( self, expr: Self::Expr, attrs: &NonEmpty<SmolStr>, ) -> Self::Expr

Create an Expr which tests for the existence of a given non-empty list of attributes on a given Entity or record.

fn is_in_entity_type( self, e1: Self::Expr, entity_type: EntityType, e2: Self::Expr, ) -> Self::Expr

where Self: Sized,

Create an _ is _ in _ expression

fn noteq(self, e1: Self::Expr, e2: Self::Expr) -> Self::Expr

where Self: Sized,

Create a ‘!=’ expression.

fn greater(self, e1: Self::Expr, e2: Self::Expr) -> Self::Expr

where Self: Sized,

Create a ‘>’ expression.

fn greatereq(self, e1: Self::Expr, e2: Self::Expr) -> Self::Expr

where Self: Sized,

Create a ‘>=’ expression.

fn and_naryl( self, first: Self::Expr, others: impl IntoIterator<Item = Self::Expr>, ) -> Self::Expr

where Self: Sized,

Create an and expression that may have more than two subexpressions (A && B && C) and associate them from left to right .e.g, [A, B, C] to (A && B) && C or may have only one subexpression, in which case no && is performed at all. Arguments must evaluate to Bool type.

fn or_nary( self, first: Self::Expr, others: impl IntoIterator<Item = Self::Expr>, ) -> Self::Expr

where Self: Sized,

Create an or expression that may have more than two subexpressions (A || B || C) or may have only one subexpression, in which case no || is performed at all. Arguments must evaluate to Bool type.

fn add_nary( self, first: Self::Expr, other: impl IntoIterator<Item = (AddOp, Self::Expr)>, ) -> Self::Expr

where Self: Sized,

Create expression containing addition and subtraction that may have more than two subexpressions (A + B - C) or may have only one subexpression, in which case no operations are performed at all.

fn mul_nary( self, first: Self::Expr, other: impl IntoIterator<Item = Self::Expr>, ) -> Self::Expr

where Self: Sized,

Create expression containing multiplication that may have more than two subexpressions (A * B * C) or may have only one subexpression, in which case no operations are performed at all.