Struct ResolvedCommutativeSubspace 

pub struct ResolvedCommutativeSubspace<'r, R, H>
where
    R: CommutativeSubspaceResolver<H>,
    H: HostTypes,
{ /* private fields */ }

Phase 8 (orphan-closure) — content-addressed wrapper for CommutativeSubspace<H>.

Caches the resolver’s lookup at construction. Accessors return the cached record’s fields when present, falling back to the Null{Class}<H> absent sentinels when the resolver returned None. Object accessors always return absent sentinels — use the resolve_{m} chain methods to descend into sub-records.

Implementations

impl<'r, R, H> ResolvedCommutativeSubspace<'r, R, H>

where R: CommutativeSubspaceResolver<H>, H: HostTypes,

pub fn new( handle: CommutativeSubspaceHandle<H>, resolver: &'r R, ) -> ResolvedCommutativeSubspace<'r, R, H>

Construct the wrapper, eagerly resolving the handle.

pub const fn handle(&self) -> CommutativeSubspaceHandle<H>

The handle this wrapper resolves.

pub const fn resolver(&self) -> &'r R

The resolver supplied at construction.

pub const fn record(&self) -> Option<&CommutativeSubspaceRecord<H>>

The cached record, or None when the resolver returned None.

impl<'r, R, H> ResolvedCommutativeSubspace<'r, R, H>

where R: CommutativeSubspaceResolver<H>, H: HostTypes,

pub fn resolve_subspace_ref<'r2, R2>( &self, r: &'r2 R2, ) -> Option<ResolvedCommutativeSubspace<'r2, R2, H>>

where R2: CommutativeSubspaceResolver<H>,

Promote the subspace_ref handle on the cached record into a resolved wrapper, given a resolver for the range class. Returns None if no record was resolved at construction.

pub fn resolve_commutator_ref<'r2, R2>( &self, r: &'r2 R2, ) -> Option<ResolvedCommutator<'r2, R2, H>>

where R2: CommutatorResolver<H>,

Promote the commutator_ref handle on the cached record into a resolved wrapper, given a resolver for the range class. Returns None if no record was resolved at construction.

Trait Implementations

impl<'r, R, H> CommutativeSubspace<H> for ResolvedCommutativeSubspace<'r, R, H>

where R: CommutativeSubspaceResolver<H>, H: HostTypes,

type CommutativeSubspaceTarget = NullCommutativeSubspace<H>

Associated type for CommutativeSubspace.

type Commutator = NullCommutator<H>

Associated type for Commutator.

fn subspace_ref( &self, ) -> &<ResolvedCommutativeSubspace<'r, R, H> as CommutativeSubspace<H>>::CommutativeSubspaceTarget

The commutative subspace selected by pairwise convergence.

fn commutator_ref( &self, ) -> &<ResolvedCommutativeSubspace<'r, R, H> as CommutativeSubspace<H>>::Commutator

Reference to the commutator pair for this convergence.