Enum RuleExpr 

#[non_exhaustive]
pub enum RuleExpr {
    Bool {
        value: bool,
    },
    Number {
        value: f64,
    },
    String {
        value: BoundedText,
    },
    Null,
    Property {
        path: PropertyPath,
    },
    Unary {
        op: UnaryOp,
        expr: Box<RuleExpr>,
    },
    Binary {
        op: BinaryOp,
        left: Box<RuleExpr>,
        right: Box<RuleExpr>,
    },
    Conditional {
        condition: Box<RuleExpr>,
        when_true: Box<RuleExpr>,
        when_false: Box<RuleExpr>,
    },
    Call {
        function: BuiltinFunction,
        args: Vec<RuleExpr>,
    },
    Unsupported {
        fragment: BoundedText,
        reason: BoundedText,
    },
}

Bounded rule expression.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Bool

Boolean literal.

Fields

value: bool

Literal value.

Number

Number literal.

Fields

value: f64

Literal value.

String

String literal.

Fields

value: BoundedText

Literal value.

Null

Null literal.

Property

Property lookup.

Fields

path: PropertyPath

Property path.

Unary

Unary operation.

Fields

op: UnaryOp

Operator.

expr: Box<RuleExpr>

Operand.

Binary

Binary operation.

Fields

op: BinaryOp

Operator.

left: Box<RuleExpr>

Left operand.

right: Box<RuleExpr>

Right operand.

Conditional

Ternary conditional expression.

Fields

condition: Box<RuleExpr>

Boolean condition.

when_true: Box<RuleExpr>

Expression evaluated when condition is true.

when_false: Box<RuleExpr>

Expression evaluated when condition is false.

Call

Built-in function call.

Fields

function: BuiltinFunction

Built-in function.

args: Vec<RuleExpr>

Arguments.

Unsupported

Unsupported source expression retained for report diagnostics.

Fields

fragment: BoundedText

Original bounded expression fragment.

reason: BoundedText

Bounded reason.

Trait Implementations

impl Clone for RuleExpr

fn clone(&self) -> RuleExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuleExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RuleExpr

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RuleExpr