Enum Expr

pub enum Expr {
    ExprNoExt(ExprNoExt),
    ExtFuncCall(ExtFuncCall),
}

Serde JSON structure for a Cedar expression in the EST format

Variants

ExprNoExt(ExprNoExt)

Any Cedar expression other than an extension function call.

ExtFuncCall(ExtFuncCall)

Extension function call, where the key is the name of an extension function or method.

Implementations

impl Expr

pub fn into_string_literal(self) -> Result<SmolStr, Self>

Consume the Expr, producing a string literal if it was a string literal, otherwise returns the literal in the Err variant.

pub fn sub_entity_literals( self, mapping: &BTreeMap<EntityUID, EntityUID>, ) -> Result<Self, JsonDeserializationError>

Substitute entity literals

impl Expr

pub fn try_into_ast(self, id: PolicyID) -> Result<Expr, FromJsonError>

Attempt to convert this est::Expr into an ast::Expr

id: the ID of the policy this Expr belongs to, used only for reporting errors

Trait Implementations

impl BoundedDisplay for Expr

fn fmt(&self, f: &mut impl Write, n: Option<usize>) -> Result

Write self to the writer f, truncating set elements or key-value pairs if necessary based on n

fn fmt_bounded(&self, f: &mut impl Write, n: usize) -> Result

Convenience method, equivalent to fmt() with n as Some.

fn fmt_unbounded(&self, f: &mut impl Write) -> Result

Convenience method, equivalent to fmt() with n as None.

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expr

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Expr

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

Formats the value using the given formatter.

impl<T: Clone> From<Expr<T>> for Expr

fn from(expr: Expr<T>) -> Expr

Converts to this type from the input type.

impl From<Literal> for Expr

fn from(lit: Literal) -> Expr

Converts to this type from the input type.

impl From<SlotId> for Expr

fn from(slot: SlotId) -> Expr

Converts to this type from the input type.

impl From<Var> for Expr

fn from(var: Var) -> Expr

Converts to this type from the input type.

impl PartialEq for Expr

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<&Node<Option<Expr>>> for Expr

type Error = ParseErrors

The type returned in the event of a conversion error.

fn try_from(e: &Node<Option<Expr>>) -> Result<Expr, ParseErrors>

Performs the conversion.

impl StructuralPartialEq for Expr