pub struct Dyn(pub usize);
Expand description
Dim of dynamically-sized algebraic entities.
Tuple Fields§
§0: usize
Implementations§
Trait Implementations§
source§impl Archive for Dyn
impl Archive for Dyn
§type Archived = ArchivedDyn
type Archived = ArchivedDyn
The archived representation of this type. Read more
§type Resolver = DynResolver
type Resolver = DynResolver
The resolver for this type. It must contain all the additional information from serializing
needed to make the archived type from the normal type.
source§impl<'de> Deserialize<'de> for Dyn
impl<'de> Deserialize<'de> for Dyn
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>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Dim for Dyn
impl Dim for Dyn
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 = Dyn
.source§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()
.source§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()
.fn is<D: Dim>() -> bool
source§impl<D: DimName> DimEq<D, Dyn> for ShapeConstraint
impl<D: DimName> DimEq<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> DimEq<Dyn, D> for ShapeConstraint
impl<D: DimName> DimEq<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameDimension<D, Dyn> for ShapeConstraint
impl<D: DimName> SameDimension<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameDimension<Dyn, D> for ShapeConstraint
impl<D: DimName> SameDimension<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameNumberOfColumns<D, Dyn> for ShapeConstraint
impl<D: DimName> SameNumberOfColumns<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameNumberOfColumns<Dyn, D> for ShapeConstraint
impl<D: DimName> SameNumberOfColumns<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameNumberOfRows<D, Dyn> for ShapeConstraint
impl<D: DimName> SameNumberOfRows<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameNumberOfRows<Dyn, D> for ShapeConstraint
impl<D: DimName> SameNumberOfRows<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.impl Copy for Dyn
impl Eq for Dyn
impl IsDynamic for Dyn
impl IsNotStaticOne for Dyn
impl StructuralPartialEq for Dyn
Auto Trait Implementations§
impl Freeze for Dyn
impl RefUnwindSafe for Dyn
impl Send for Dyn
impl Sync for Dyn
impl Unpin for Dyn
impl UnwindSafe for Dyn
Blanket Implementations§
source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
source§impl<T> ArchiveUnsized for Twhere
T: Archive,
impl<T> ArchiveUnsized for Twhere
T: Archive,
§type Archived = <T as Archive>::Archived
type Archived = <T as Archive>::Archived
The archived counterpart of this type. Unlike
Archive
, it may be unsized. Read more§type MetadataResolver = ()
type MetadataResolver = ()
The resolver for the metadata of this type. Read more
source§unsafe fn resolve_metadata(
&self,
_: usize,
_: <T as ArchiveUnsized>::MetadataResolver,
_: *mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata,
)
unsafe fn resolve_metadata( &self, _: usize, _: <T as ArchiveUnsized>::MetadataResolver, _: *mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata, )
Creates the archived version of the metadata for this value at the given position and writes
it to the given output. Read more
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
source§impl<F, W, T, D> Deserialize<With<T, W>, D> for F
impl<F, W, T, D> Deserialize<With<T, W>, D> for F
source§impl<T, S> SerializeUnsized<S> for T
impl<T, S> SerializeUnsized<S> for T
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§fn to_subset_unchecked(&self) -> SS
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.