pub struct ResolvedTermExpression<'r, R: TermExpressionResolver<H>, H: HostTypes> { /* private fields */ }Expand description
Phase 8 (orphan-closure) — content-addressed wrapper for TermExpression<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§
Source§impl<'r, R: TermExpressionResolver<H>, H: HostTypes> ResolvedTermExpression<'r, R, H>
impl<'r, R: TermExpressionResolver<H>, H: HostTypes> ResolvedTermExpression<'r, R, H>
Sourcepub fn new(handle: TermExpressionHandle<H>, resolver: &'r R) -> Self
pub fn new(handle: TermExpressionHandle<H>, resolver: &'r R) -> Self
Construct the wrapper, eagerly resolving the handle.
Sourcepub const fn handle(&self) -> TermExpressionHandle<H>
pub const fn handle(&self) -> TermExpressionHandle<H>
The handle this wrapper resolves.
Sourcepub const fn record(&self) -> Option<&TermExpressionRecord<H>>
pub const fn record(&self) -> Option<&TermExpressionRecord<H>>
The cached record, or None when the resolver returned None.
Trait Implementations§
impl<'r, R: TermExpressionResolver<H>, H: HostTypes> TermExpression<H> for ResolvedTermExpression<'r, R, H>
Auto Trait Implementations§
impl<'r, R, H> Freeze for ResolvedTermExpression<'r, R, H>
impl<'r, R, H> RefUnwindSafe for ResolvedTermExpression<'r, R, H>where
R: RefUnwindSafe,
H: RefUnwindSafe,
impl<'r, R, H> Send for ResolvedTermExpression<'r, R, H>
impl<'r, R, H> Sync for ResolvedTermExpression<'r, R, H>
impl<'r, R, H> Unpin for ResolvedTermExpression<'r, R, H>where
H: Unpin,
impl<'r, R, H> UnsafeUnpin for ResolvedTermExpression<'r, R, H>
impl<'r, R, H> UnwindSafe for ResolvedTermExpression<'r, R, H>where
R: RefUnwindSafe,
H: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more