Enum ConstraintExpr

#[non_exhaustive]
pub enum ConstraintExpr {
    Equals {
        path: String,
        value: Value,
    },
    In {
        path: String,
        values: Vec<Value>,
    },
    GreaterThan {
        path: String,
        value: i64,
    },
    LessThan {
        path: String,
        value: i64,
    },
    Glob {
        path: String,
        pattern: String,
    },
    And {
        all: Vec<ConstraintExpr>,
    },
    Or {
        any: Vec<ConstraintExpr>,
    },
    Not {
        inner: Box<ConstraintExpr>,
    },
}

A single constraint expression over a context path.

Path syntax: dotted segments like context.args.amount, context.session.ip, principal.tenant_id.

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.

Equals

Fields

path: String

value: Value

In

Fields

path: String

values: Vec<Value>

GreaterThan

Fields

path: String

value: i64

LessThan

Fields

path: String

value: i64

Glob

Fields

path: String

pattern: String

And

Fields

all: Vec<ConstraintExpr>

Or

Fields

any: Vec<ConstraintExpr>

Not

Fields

inner: Box<ConstraintExpr>

Implementations

impl ConstraintExpr

pub fn evaluate(&self, root: &Value) -> bool

Evaluate against a JSON value (the request context).

Trait Implementations

impl Clone for ConstraintExpr

fn clone(&self) -> ConstraintExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConstraintExpr

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ConstraintExpr

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

where __S: Serializer,

Serialize this value into the given Serde serializer.