Trait ExtensionValue

pub trait ExtensionValue:
    Debug
    + Display
    + Send
    + Sync
    + UnwindSafe
    + RefUnwindSafe {
    // 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