pub struct NullCommutativeSubspace<H>where
H: HostTypes,{ /* private fields */ }Expand description
Phase 2 (orphan-closure) — resolver-absent default impl of CommutativeSubspace<H>.
Every accessor returns H::EMPTY_* sentinels (for scalar / host-typed
returns) or a 'static-lifetime reference to a sibling Null*’s ABSENT
const (for trait-typed returns). Downstream provides concrete impls;
this stub closes the ontology-derived trait orphan.
Implementations§
Source§impl<H> NullCommutativeSubspace<H>where
H: HostTypes,
impl<H> NullCommutativeSubspace<H>where
H: HostTypes,
Sourcepub const ABSENT: NullCommutativeSubspace<H>
pub const ABSENT: NullCommutativeSubspace<H>
Absent-value sentinel. &Self::ABSENT gives every trait-typed accessor a 'static-lifetime reference target.
Trait Implementations§
Source§impl<H> Clone for NullCommutativeSubspace<H>
impl<H> Clone for NullCommutativeSubspace<H>
Source§fn clone(&self) -> NullCommutativeSubspace<H>
fn clone(&self) -> NullCommutativeSubspace<H>
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<H> CommutativeSubspace<H> for NullCommutativeSubspace<H>where
H: HostTypes,
impl<H> CommutativeSubspace<H> for NullCommutativeSubspace<H>where
H: HostTypes,
Source§type CommutativeSubspaceTarget = NullCommutativeSubspace<H>
type CommutativeSubspaceTarget = NullCommutativeSubspace<H>
Associated type for
CommutativeSubspace.Source§type Commutator = NullCommutator<H>
type Commutator = NullCommutator<H>
Associated type for
Commutator.Source§fn subspace_ref(
&self,
) -> &<NullCommutativeSubspace<H> as CommutativeSubspace<H>>::CommutativeSubspaceTarget
fn subspace_ref( &self, ) -> &<NullCommutativeSubspace<H> as CommutativeSubspace<H>>::CommutativeSubspaceTarget
The commutative subspace selected by pairwise convergence.
Source§fn commutator_ref(
&self,
) -> &<NullCommutativeSubspace<H> as CommutativeSubspace<H>>::Commutator
fn commutator_ref( &self, ) -> &<NullCommutativeSubspace<H> as CommutativeSubspace<H>>::Commutator
Reference to the commutator pair for this convergence.
Source§impl<H> Debug for NullCommutativeSubspace<H>
impl<H> Debug for NullCommutativeSubspace<H>
Source§impl<H> Default for NullCommutativeSubspace<H>where
H: HostTypes,
impl<H> Default for NullCommutativeSubspace<H>where
H: HostTypes,
Source§fn default() -> NullCommutativeSubspace<H>
fn default() -> NullCommutativeSubspace<H>
Returns the “default value” for a type. Read more
Source§impl<H> Hash for NullCommutativeSubspace<H>
impl<H> Hash for NullCommutativeSubspace<H>
Source§impl<H> PartialEq for NullCommutativeSubspace<H>
impl<H> PartialEq for NullCommutativeSubspace<H>
Source§fn eq(&self, other: &NullCommutativeSubspace<H>) -> bool
fn eq(&self, other: &NullCommutativeSubspace<H>) -> bool
Tests for
self and other values to be equal, and is used by ==.impl<H> Copy for NullCommutativeSubspace<H>
impl<H> Eq for NullCommutativeSubspace<H>
impl<H> StructuralPartialEq for NullCommutativeSubspace<H>where
H: HostTypes,
Auto Trait Implementations§
impl<H> Freeze for NullCommutativeSubspace<H>
impl<H> RefUnwindSafe for NullCommutativeSubspace<H>where
H: RefUnwindSafe,
impl<H> Send for NullCommutativeSubspace<H>where
H: Send,
impl<H> Sync for NullCommutativeSubspace<H>where
H: Sync,
impl<H> Unpin for NullCommutativeSubspace<H>where
H: Unpin,
impl<H> UnsafeUnpin for NullCommutativeSubspace<H>
impl<H> UnwindSafe for NullCommutativeSubspace<H>where
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