Enum cedar_policy_core::ast::PartialValue

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

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

Trait Implementations

impl Clone for PartialValue

fn clone(&self) -> PartialValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PartialValue

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

Formats the value using the given formatter.

impl Display for PartialValue

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

Formats the value using the given formatter.

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(val: PartialValue) -> Self

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 ==.

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 Value

type Error = NotValue

The type returned in the event of a conversion error.

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

Performs the conversion.

impl StructuralPartialEq for PartialValue