pub struct U18;
Expand description
A type level dimension.
Trait Implementations§
source§impl Dim for U18
impl Dim for U18
source§fn try_to_usize() -> Option<usize>
fn try_to_usize() -> Option<usize>
Gets the compile-time value of
Self
. Returns None
if it is not known, i.e., if Self = Dynamic
. Read moresource§fn from_usize(dim: usize) -> Self
fn from_usize(dim: usize) -> Self
Builds an instance of
Self
from a run-time value. Panics if Self
is a type-level
integer and dim != Self::try_to_usize().unwrap()
. Read moresource§fn value(&self) -> usize
fn value(&self) -> usize
Gets the run-time value of
self
. For type-level integers, this is the same as
Self::try_to_usize().unwrap()
. Read morefn is<D: Dim>() -> bool
impl Copy for U18
impl Eq for U18
impl IsNotStaticOne for U18
impl StructuralEq for U18
impl StructuralPartialEq for U18
Auto Trait Implementations§
impl RefUnwindSafe for U18
impl Send for U18
impl Sync for U18
impl Unpin for U18
impl UnwindSafe for U18
Blanket Implementations§
source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moresource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).source§unsafe fn to_subset_unchecked(&self) -> SS
unsafe fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.