Trait cedar_policy_core::ast::ExtensionValue

pub trait ExtensionValue: Debug + Display {
    // Required method
    fn typename(&self) -> Name;
}

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

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