Struct CapabilityScopeHandle 

pub struct CapabilityScopeHandle<K: ScopeKind> { /* private fields */ }

Cloneable weak registration handle for one typed capability scope.

A handle can transfer tasks and reversible effects into an active scope, and the permitted marker-specific methods can derive child scopes. It does not retain the scope, its immutable catalog generation, or an upstream A3S Use lease. Once the owner closes or drops the scope, every operation fails closed.

Implementations

impl CapabilityScopeHandle<Run>

pub fn turn( &self, local_id: impl Into<String>, ceiling: CapabilityCeiling, ) -> Result<CapabilityScope<Turn>, CapabilityScopeError>

pub fn turn_inheriting( &self, local_id: impl Into<String>, ) -> Result<CapabilityScope<Turn>, CapabilityScopeError>

pub fn subtask( &self, local_id: impl Into<String>, ceiling: CapabilityCeiling, ) -> Result<CapabilityScope<Subtask>, CapabilityScopeError>

pub fn subtask_inheriting( &self, local_id: impl Into<String>, ) -> Result<CapabilityScope<Subtask>, CapabilityScopeError>

impl CapabilityScopeHandle<Turn>

pub fn subtask( &self, local_id: impl Into<String>, ceiling: CapabilityCeiling, ) -> Result<CapabilityScope<Subtask>, CapabilityScopeError>

pub fn subtask_inheriting( &self, local_id: impl Into<String>, ) -> Result<CapabilityScope<Subtask>, CapabilityScopeError>

impl CapabilityScopeHandle<Subtask>

pub fn turn( &self, local_id: impl Into<String>, ceiling: CapabilityCeiling, ) -> Result<CapabilityScope<Turn>, CapabilityScopeError>

pub fn turn_inheriting( &self, local_id: impl Into<String>, ) -> Result<CapabilityScope<Turn>, CapabilityScopeError>

pub fn subtask( &self, local_id: impl Into<String>, ceiling: CapabilityCeiling, ) -> Result<CapabilityScope<Subtask>, CapabilityScopeError>

pub fn subtask_inheriting( &self, local_id: impl Into<String>, ) -> Result<CapabilityScope<Subtask>, CapabilityScopeError>

impl<K: ScopeKind> CapabilityScopeHandle<K>

pub fn id(&self) -> &CapabilityScopeId

pub const fn kind(&self) -> CapabilityScopeKind

pub fn is_active(&self) -> bool

pub fn cancellation(&self) -> Result<CancellationToken, CapabilityScopeError>

pub fn register_effect<E>(&self, effect: E) -> Result<(), CapabilityScopeError>

where E: CapabilityEffect,

pub fn spawn_task<F>( &self, name: impl Into<String>, task: F, ) -> Result<SupervisedTaskId, CapabilityScopeError>

where F: Future<Output = Result<(), CapabilityEffectError>> + Send + 'static,

pub fn cancel(&self) -> Result<(), CapabilityScopeError>

Trait Implementations

impl<K: ScopeKind> Clone for CapabilityScopeHandle<K>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<K: ScopeKind> Debug for CapabilityScopeHandle<K>

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

Formats the value using the given formatter.