PolicyCondition

Enum PolicyCondition 

Source
pub enum PolicyCondition {
    FieldEquals {
        field: Symbol,
        value: Symbol,
        is_string_literal: bool,
    },
    FieldBool {
        field: Symbol,
        value: bool,
    },
    Predicate {
        subject: Symbol,
        predicate: Symbol,
    },
    ObjectFieldEquals {
        subject: Symbol,
        object: Symbol,
        field: Symbol,
    },
    Or(Box<PolicyCondition>, Box<PolicyCondition>),
    And(Box<PolicyCondition>, Box<PolicyCondition>),
}
Expand description

Condition in a policy definition. Represents the predicate logic for security rules.

Variants§

§

FieldEquals

Field comparison: the user's role equals "admin"

Fields

§field: Symbol
§value: Symbol
§is_string_literal: bool

Whether the value came from a string literal (needs quotes in codegen)

§

FieldBool

Boolean field: the user's verified equals true

Fields

§field: Symbol
§value: bool
§

Predicate

Predicate call: the user is admin

Fields

§subject: Symbol
§predicate: Symbol
§

ObjectFieldEquals

Object field comparison: the user equals the document's owner

Fields

§subject: Symbol
§object: Symbol
§field: Symbol
§

Or(Box<PolicyCondition>, Box<PolicyCondition>)

Logical OR: A OR B

§

And(Box<PolicyCondition>, Box<PolicyCondition>)

Logical AND: A AND B

Trait Implementations§

Source§

impl Clone for PolicyCondition

Source§

fn clone(&self) -> PolicyCondition

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for PolicyCondition

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V