Trait cedar_policy_core::ast::ExtensionValue

source · 
pub trait ExtensionValue:
    Debug
    + Display
    + Send
    + Sync
    + UnwindSafe
    + RefUnwindSafe {
    // Required method
    fn typename(&self) -> Name;
}
Expand description

Extension value.

Anything implementing this trait can be used as a first-class value in Cedar. For instance, the ipaddr extension uses this mechanism to implement IPAddr as a Cedar first-class value.

Required Methods§

source

fn typename(&self) -> Name

Get the name of the type of this value.

Cedar has nominal typing, so two values have the same type iff they return the same typename here.

Implementors§