Struct ResolvedAssociativeSubalgebra 

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

Phase 8 (orphan-closure) — content-addressed wrapper for AssociativeSubalgebra<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> ResolvedAssociativeSubalgebra<'r, R, H>

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

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

Construct the wrapper, eagerly resolving the handle.

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

The handle this wrapper resolves.

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

The resolver supplied at construction.

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

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

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

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

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

where R2: AssociativeSubalgebraResolver<H>,

Promote the subalgebra_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_associator_ref<'r2, R2>( &self, r: &'r2 R2, ) -> Option<ResolvedAssociatorTriple<'r2, R2, H>>

where R2: AssociatorTripleResolver<H>,

Promote the associator_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> AssociativeSubalgebra<H> for ResolvedAssociativeSubalgebra<'r, R, H>

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

type AssociativeSubalgebraTarget = NullAssociativeSubalgebra<H>

Associated type for AssociativeSubalgebra.

type AssociatorTriple = NullAssociatorTriple<H>

Associated type for AssociatorTriple.

fn subalgebra_ref( &self, ) -> &<ResolvedAssociativeSubalgebra<'r, R, H> as AssociativeSubalgebra<H>>::AssociativeSubalgebraTarget

The associative subalgebra selected by triple convergence.

fn associator_ref( &self, ) -> &<ResolvedAssociativeSubalgebra<'r, R, H> as AssociativeSubalgebra<H>>::AssociatorTriple

Reference to the associator triple for this convergence.