cedar_policy_core::ast

Enum PartialValue

pub enum PartialValue {
    Value(Value),
    Residual(Expr),
}

Expand description

Intermediate results of partial evaluation

Variants§

Value(Value)

Fully evaluated values

Residual(Expr)

Residual expressions containing unknowns INVARIANT: A residual must have an unknown contained within

Implementations§

impl PartialValue

pub fn unknown(u: Unknown) -> Self

Create a new PartialValue consisting of just this single Unknown

pub fn with_maybe_source_loc(self, loc: Option<Loc>) -> Self

Return the PartialValue, but with the given Loc (or None)

Trait Implementations§

impl AsRef<PartialValue> for PartialValueSerializedAsExpr

fn as_ref(&self) -> &PartialValue

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for PartialValue

fn clone(&self) -> PartialValue

Returns a copy of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for PartialValue

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

Formats the value using the given formatter. Read more

impl Display for PartialValue

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

Formats the value using the given formatter. Read more

impl From<Context> for PartialValue

fn from(ctx: Context) -> PartialValue

Converts to this type from the input type.

impl From<Expr> for PartialValue

fn from(e: Expr) -> Self

Converts to this type from the input type.

impl From<PartialValue> for Expr

fn from(pv: PartialValue) -> Self

Converts to this type from the input type.

impl From<PartialValue> for PartialValueSerializedAsExpr

fn from(value: PartialValue) -> PartialValueSerializedAsExpr

Converts to this type from the input type.

impl From<PartialValueSerializedAsExpr> for PartialValue

fn from(value: PartialValueSerializedAsExpr) -> PartialValue

Converts to this type from the input type.

impl<V: Into<Value>> From<V> for PartialValue

fn from(into_v: V) -> Self

Converts to this type from the input type.

impl PartialEq for PartialValue

fn eq(&self, other: &PartialValue) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

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 TryFrom<PartialValue> for RestrictedExpr

type Error = PartialValueToRestrictedExprError

The type returned in the event of a conversion error.

fn try_from( pvalue: PartialValue, ) -> Result<RestrictedExpr, PartialValueToRestrictedExprError>

Performs the conversion.

impl TryFrom<PartialValue> for Value

type Error = PartialValueToValueError

The type returned in the event of a conversion error.

fn try_from(value: PartialValue) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for PartialValue

impl StructuralPartialEq for PartialValue

Auto Trait Implementations§

impl Freeze for PartialValue

impl RefUnwindSafe for PartialValue

impl Send for PartialValue

impl Sync for PartialValue

impl Unpin for PartialValue

impl UnwindSafe for PartialValue

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

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

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

impl<T> ToSmolStr for T
where T: Display + ?Sized,

fn to_smolstr(&self) -> SmolStr

impl<T> ToString for T
where T: Display + ?Sized,

default fn to_string(&self) -> String

Converts the given value to a String. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.