Skip to main content

CapabilitySet

id_effect::capability

Trait CapabilitySet 

Source 
pub trait CapabilitySet {
    // Required method
    fn verify(env: &Env) -> Result<(), CapabilityError>;
}
Expand description

Marker: effect requires capabilities listed in the caps! macro.

Required Methods§

Source

fn verify(env: &Env) -> Result<(), CapabilityError>

Verify env contains all required capabilities.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types§

Source§

impl CapabilitySet for ()

Source§

fn verify(_env: &Env) -> Result<(), CapabilityError>

Implementors§