Struct qsym2::group::MagneticRepresentedGroup
source · pub struct MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,{ /* private fields */ }
Expand description
Structure for managing groups with magnetic corepresentations.
Such a group consists of two types of elements in equal numbers: those that are unitary represented and those that are antiunitary represented. This division of elements affects the class structure of the group via an equivalence relation defined in Newmarch, J. D. & Golding, R. M. The character table for the corepresentations of magnetic groups. Journal of Mathematical Physics 23, 695–704 (1982), DOI.
Implementations§
source§impl<T, UG, RowSymbol> MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, UG, RowSymbol> MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
sourcepub fn unitary_subgroup(&self) -> &UG
pub fn unitary_subgroup(&self) -> &UG
Returns a shared reference to the unitary subgroup of this group.
source§impl<T, UG, RowSymbol> MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, UG, RowSymbol> MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
sourcepub fn new(
name: &str,
elements: Vec<T>,
unitary_subgroup: UG,
) -> Result<Self, Error>
pub fn new( name: &str, elements: Vec<T>, unitary_subgroup: UG, ) -> Result<Self, Error>
Constructs a magnetic-represented group from its elements and the unitary subgroup.
§Arguments
name
- A name to be given to the magnetic-reprented group.elements
- A vector of all group elements.unitary_subgroup
- The unitary subgroup of the magnetic-represented group. All elements of this must be present inelements
.
§Returns
A magnetic-represented group with its Cayley table constructed and conjugacy classes determined.
Trait Implementations§
source§impl<T, RowSymbol, UG> CharacterProperties for MagneticRepresentedGroup<T, UG, RowSymbol>where
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder<Int = u32> + Pow<i32, Output = T>,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
UG: Clone + GroupProperties<GroupElement = T> + ClassProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, RowSymbol, UG> CharacterProperties for MagneticRepresentedGroup<T, UG, RowSymbol>where
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder<Int = u32> + Pow<i32, Output = T>,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
UG: Clone + GroupProperties<GroupElement = T> + ClassProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
§type CharTab = CorepCharacterTable<<MagneticRepresentedGroup<T, UG, RowSymbol> as CharacterProperties>::RowSymbol, <UG as CharacterProperties>::CharTab>
type CharTab = CorepCharacterTable<<MagneticRepresentedGroup<T, UG, RowSymbol> as CharacterProperties>::RowSymbol, <UG as CharacterProperties>::CharTab>
Self::RowSymbol
.source§fn character_table(&self) -> &Self::CharTab
fn character_table(&self) -> &Self::CharTab
source§fn unitary_represented(&self) -> bool
fn unitary_represented(&self) -> bool
source§impl<T, UG, RowSymbol> ClassProperties for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
<Self as GroupProperties>::GroupElement: Inv,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
impl<T, UG, RowSymbol> ClassProperties for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
<Self as GroupProperties>::GroupElement: Inv,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
source§fn compute_class_structure(&mut self) -> Result<(), Error>
fn compute_class_structure(&mut self) -> Result<(), Error>
Compute the class structure of this magnetic-represented group that is induced by the following equivalence relation:
g \sim h \Leftrightarrow
\exists u : h = u g u^{-1}
\quad \textrm{or} \quad
\exists a : h = a g^{-1} a^{-1},
where $u
$ is unitary-represented and $a
$ is antiunitary-represented in the group.
§type ClassSymbol = <UG as ClassProperties>::ClassSymbol
type ClassSymbol = <UG as ClassProperties>::ClassSymbol
source§fn get_cc_index(&self, cc_idx: usize) -> Option<&HashSet<usize>>
fn get_cc_index(&self, cc_idx: usize) -> Option<&HashSet<usize>>
source§fn get_cc_of_element_index(&self, e_idx: usize) -> Option<usize>
fn get_cc_of_element_index(&self, e_idx: usize) -> Option<usize>
source§fn get_cc_transversal(&self, cc_idx: usize) -> Option<Self::GroupElement>
fn get_cc_transversal(&self, cc_idx: usize) -> Option<Self::GroupElement>
source§fn get_index_of_cc_symbol(&self, cc_sym: &Self::ClassSymbol) -> Option<usize>
fn get_index_of_cc_symbol(&self, cc_sym: &Self::ClassSymbol) -> Option<usize>
source§fn get_cc_symbol_of_index(&self, cc_idx: usize) -> Option<Self::ClassSymbol>
fn get_cc_symbol_of_index(&self, cc_idx: usize) -> Option<Self::ClassSymbol>
source§fn filter_cc_symbols<P: FnMut(&Self::ClassSymbol) -> bool>(
&self,
predicate: P,
) -> Vec<Self::ClassSymbol>
fn filter_cc_symbols<P: FnMut(&Self::ClassSymbol) -> bool>( &self, predicate: P, ) -> Vec<Self::ClassSymbol>
source§fn set_class_symbols(&mut self, cc_symbols: &[Self::ClassSymbol])
fn set_class_symbols(&mut self, cc_symbols: &[Self::ClassSymbol])
source§fn get_inverse_cc(&self, cc_idx: usize) -> Option<usize>
fn get_inverse_cc(&self, cc_idx: usize) -> Option<usize>
source§fn class_number(&self) -> usize
fn class_number(&self) -> usize
source§impl<T, UG, RowSymbol> Clone for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder + Clone,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Clone,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties + Clone,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
UG::CharTab: Clone,
impl<T, UG, RowSymbol> Clone for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder + Clone,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Clone,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties + Clone,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
UG::CharTab: Clone,
source§fn clone(&self) -> MagneticRepresentedGroup<T, UG, RowSymbol>
fn clone(&self) -> MagneticRepresentedGroup<T, UG, RowSymbol>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<'de, T, UG, RowSymbol> Deserialize<'de> for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder + Deserialize<'de>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Deserialize<'de>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties + Deserialize<'de>,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<'de, T, UG, RowSymbol> Deserialize<'de> for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder + Deserialize<'de>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Deserialize<'de>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties + Deserialize<'de>,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
source§impl<T, UG, RowSymbol> GroupProperties for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, UG, RowSymbol> GroupProperties for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
§type GroupElement = T
type GroupElement = T
type ElementCollection = IndexSet<T>
source§fn finite_subgroup_name(&self) -> Option<&String>
fn finite_subgroup_name(&self) -> Option<&String>
source§fn get_index(&self, index: usize) -> Option<Self::GroupElement>
fn get_index(&self, index: usize) -> Option<Self::GroupElement>
None
if the index is out of
range.source§fn get_index_of(&self, g: &Self::GroupElement) -> Option<usize>
fn get_index_of(&self, g: &Self::GroupElement) -> Option<usize>
None
if the element does not exist
in the group.source§fn contains(&self, g: &Self::GroupElement) -> bool
fn contains(&self, g: &Self::GroupElement) -> bool
source§fn elements(&self) -> &Self::ElementCollection
fn elements(&self) -> &Self::ElementCollection
source§fn is_abelian(&self) -> bool
fn is_abelian(&self) -> bool
source§impl<T, UG, RowSymbol> HasUnitarySubgroup for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, UG, RowSymbol> HasUnitarySubgroup for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol>,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
source§fn check_elem_antiunitary(&self, element: &T) -> bool
fn check_elem_antiunitary(&self, element: &T) -> bool
§type UnitarySubgroup = UG
type UnitarySubgroup = UG
source§fn unitary_subgroup(&self) -> &Self::UnitarySubgroup
fn unitary_subgroup(&self) -> &Self::UnitarySubgroup
source§impl<T, RowSymbol, UG> IrcorepCharTabConstruction for MagneticRepresentedGroup<T, UG, RowSymbol>where
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder<Int = u32> + Pow<i32, Output = T>,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
UG: Clone + GroupProperties<GroupElement = T> + ClassProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, RowSymbol, UG> IrcorepCharTabConstruction for MagneticRepresentedGroup<T, UG, RowSymbol>where
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned,
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder<Int = u32> + Pow<i32, Output = T>,
for<'a, 'b> &'b T: Mul<&'a T, Output = T>,
UG: Clone + GroupProperties<GroupElement = T> + ClassProperties<GroupElement = T> + CharacterProperties,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
<UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
source§fn set_ircorep_character_table(&mut self, chartab: Self::CharTab)
fn set_ircorep_character_table(&mut self, chartab: Self::CharTab)
source§fn construct_ircorep_character_table(&mut self)
fn construct_ircorep_character_table(&mut self)
source§impl<T, UG, RowSymbol> Serialize for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder + Serialize,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties + Serialize,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
impl<T, UG, RowSymbol> Serialize for MagneticRepresentedGroup<T, UG, RowSymbol>where
T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder + Serialize,
RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize,
UG: Clone + GroupProperties<GroupElement = T> + CharacterProperties + Serialize,
<UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned,
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,
source§impl SymmetryGroupProperties for MagneticRepresentedGroup<SymmetryOperation, UnitaryRepresentedGroup<SymmetryOperation, MullikenIrrepSymbol, SymmetryClassSymbol<SymmetryOperation>>, MullikenIrcorepSymbol>
impl SymmetryGroupProperties for MagneticRepresentedGroup<SymmetryOperation, UnitaryRepresentedGroup<SymmetryOperation, MullikenIrrepSymbol, SymmetryClassSymbol<SymmetryOperation>>, MullikenIrcorepSymbol>
source§fn from_molecular_symmetry(
sym: &Symmetry,
infinite_order_to_finite: Option<u32>,
) -> Result<Self, Error>
fn from_molecular_symmetry( sym: &Symmetry, infinite_order_to_finite: Option<u32>, ) -> Result<Self, Error>
Constructs a magnetic-represented group from molecular symmetry elements (not operations).
§Arguments
sym
- A molecular symmetry struct.infinite_order_to_finite
- Interpret infinite-order generating elements as finite-order generating elements to create a finite subgroup of an otherwise infinite group.
§Returns
A magnetic-represented group of the symmetry operations generated by sym
.
§Panics
Panics if sym
generates no antiunitary operations.
source§fn to_double_group(&self) -> Result<Self, Error>
fn to_double_group(&self) -> Result<Self, Error>
Constructs the double group of this magnetic-represented group.
Note that the unitary subgroup of the magnetic-represented double group is not necessarily the same as the double group of the unitary subgroup. This difference can manifest when there are binary rotations or reflections and the positive hemisphere of the magnetic-represented group might be different from the positive hemisphere of the unitary subgroup.
§Returns
The magnetic-represented double group.
source§fn canonicalise_character_table(&mut self)
fn canonicalise_character_table(&mut self)
source§fn deduce_finite_group_name(&mut self) -> String
fn deduce_finite_group_name(&mut self) -> String
source§fn all_unitary(&self) -> bool
fn all_unitary(&self) -> bool
true
if all elements in this group are unitary.source§fn is_double_group(&self) -> bool
fn is_double_group(&self) -> bool
true
if all elements in this group are in $\mathsf{SU}'(2)
$ or false
if they
are all in $\mathsf{O}(3)
$. Read moresource§fn group_type(&self) -> GroupType
fn group_type(&self) -> GroupType
source§fn class_symbols_from_symmetry(
&mut self,
) -> Vec<SymmetryClassSymbol<SymmetryOperation>>
fn class_symbols_from_symmetry( &mut self, ) -> Vec<SymmetryClassSymbol<SymmetryOperation>>
Auto Trait Implementations§
impl<T, UG, RowSymbol> Freeze for MagneticRepresentedGroup<T, UG, RowSymbol>where
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: for<'de> Sized,
<UG as ClassProperties>::ClassSymbol: for<'de> Sized,
UG: Freeze,
<UG as CharacterProperties>::CharTab: Freeze,
impl<T, UG, RowSymbol> RefUnwindSafe for MagneticRepresentedGroup<T, UG, RowSymbol>where
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: for<'de> Sized,
<UG as ClassProperties>::ClassSymbol: for<'de> Sized + RefUnwindSafe,
UG: RefUnwindSafe,
<UG as CharacterProperties>::CharTab: RefUnwindSafe,
T: RefUnwindSafe,
RowSymbol: RefUnwindSafe,
impl<T, UG, RowSymbol> Send for MagneticRepresentedGroup<T, UG, RowSymbol>where
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: for<'de> Sized,
<UG as ClassProperties>::ClassSymbol: for<'de> Sized + Send,
UG: Send,
<UG as CharacterProperties>::CharTab: Send,
T: Send,
RowSymbol: Send,
impl<T, UG, RowSymbol> Sync for MagneticRepresentedGroup<T, UG, RowSymbol>where
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: for<'de> Sized,
<UG as ClassProperties>::ClassSymbol: for<'de> Sized + Sync,
UG: Sync,
<UG as CharacterProperties>::CharTab: Sync,
RowSymbol: Sync,
impl<T, UG, RowSymbol> Unpin for MagneticRepresentedGroup<T, UG, RowSymbol>where
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: for<'de> Sized,
<UG as ClassProperties>::ClassSymbol: for<'de> Sized + Unpin,
UG: Unpin,
<UG as CharacterProperties>::CharTab: Unpin,
T: Unpin,
RowSymbol: Unpin,
impl<T, UG, RowSymbol> UnwindSafe for MagneticRepresentedGroup<T, UG, RowSymbol>where
CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: for<'de> Sized,
<UG as ClassProperties>::ClassSymbol: for<'de> Sized + UnwindSafe,
UG: UnwindSafe,
<UG as CharacterProperties>::CharTab: UnwindSafe,
T: UnwindSafe,
RowSymbol: 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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)§impl<T> Conv for T
impl<T> Conv for T
§impl<T> FmtForward for T
impl<T> FmtForward for T
§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.§fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read more§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read more§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self
to the equivalent element of its superset.§impl<T> Tap for T
impl<T> Tap for T
§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read more§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read more§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read more§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read more§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read more§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read more§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.