Enum cedar_policy_core::est::Clause

pub enum Clause {
    When(Expr),
    Unless(Expr),
}

Serde JSON structure for a when or unless clause in the EST format

Variants

When(Expr)

A when clause

Unless(Expr)

An unless clause

Implementations

impl Clause

pub fn instantiate( self, _vals: &HashMap<SlotId, EntityUidJSON> ) -> Result<Self, InstantiationError>

Fill in any slots in the clause using the values in vals. Throws an error if vals doesn’t contain a necessary mapping, but does not throw an error if vals contains unused mappings.

Trait Implementations

impl Clone for Clause

fn clone(&self) -> Clause

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Clause

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Clause

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Expr<()>> for Clause

fn from(expr: Expr) -> Clause

Converts to this type from the input type.

impl PartialEq<Clause> for Clause

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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Clause

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

Serialize this value into the given Serde serializer.

impl TryFrom<Clause> for Expr

type Error = EstToAstError

The type returned in the event of a conversion error.

fn try_from(clause: Clause) -> Result<Expr, EstToAstError>

Performs the conversion.

impl TryFrom<Cond> for Clause

type Error = ParseErrors

The type returned in the event of a conversion error.

fn try_from(cond: Cond) -> Result<Clause, ParseErrors>

Performs the conversion.

impl StructuralPartialEq for Clause