Struct Builder

pub struct Builder;

Construct an Expr.

Trait Implementations

impl Clone for Builder

fn clone(&self) -> Builder

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Builder

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

Formats the value using the given formatter.

impl ExprBuilder for Builder

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

literal

fn var(self, var: Var) -> Expr

principal, action, resource, context

fn slot(self, slot: SlotId) -> Expr

Template slots

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

An extension call with one arg, which is the name of the unknown

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

!

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

-

fn is_eq(self, left: Expr, right: Expr) -> Expr

==

fn noteq(self, left: Expr, right: Expr) -> Expr

!=

fn is_in(self, left: Expr, right: Expr) -> Expr

in

fn less(self, left: Expr, right: Expr) -> Expr

<

fn lesseq(self, left: Expr, right: Expr) -> Expr

<=

fn greater(self, left: Expr, right: Expr) -> Expr

>

fn greatereq(self, left: Expr, right: Expr) -> Expr

>=

fn and(self, left: Expr, right: Expr) -> Expr

&&

fn or(self, left: Expr, right: Expr) -> Expr

||

fn add(self, left: Expr, right: Expr) -> Expr

+

fn sub(self, left: Expr, right: Expr) -> Expr

-

fn mul(self, left: Expr, right: Expr) -> Expr

*

fn contains(self, left: Expr, right: Expr) -> Expr

left.contains(right)

fn contains_all(self, left: Expr, right: Expr) -> Expr

left.containsAll(right)

fn contains_any(self, left: Expr, right: Expr) -> Expr

left.containsAny(right)

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

arg.isEmpty()

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

left.getTag(right)

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

left.hasTag(right)

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

left.attr

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

left has attr

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

left like pattern

fn is_entity_type(self, left: Expr, entity_type: EntityType) -> Expr

left is entity_type

fn is_in_entity_type( self, left: Expr, entity_type: EntityType, entity: Expr, ) -> Expr

left is entity_type in entity

fn ite(self, cond_expr: Expr, then_expr: Expr, else_expr: Expr) -> Expr

if cond_expr then then_expr else else_expr

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

e.g. [1+2, !(context has department)]

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

e.g. {foo: 1+2, bar: !(context has department)}

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

extension function call, including method calls

type Expr = Expr

The type of expression constructed by this instance of ExprBuilder.

type Data = ()

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

fn with_data(_data: Self::Data) -> Self

Build an expression storing this information

fn with_maybe_source_loc(self, _: 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 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 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 unary_app(self, op: impl Into<UnaryOp>, arg: Self::Expr) -> Self::Expr

where Self: Sized,

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: Self::Expr, arg2: Self::Expr, ) -> Self::Expr

where Self: Sized,

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

fn and_nary( 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) 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.