Struct Dyn

pub struct Dyn(pub usize);

Dim of dynamically-sized algebraic entities.

Tuple Fields

0: usize

Implementations

impl Dyn

pub const fn new(value: usize) -> Self

👎Deprecated: use Dyn(value) instead.

A dynamic size equal to value.

Trait Implementations

impl Add<usize> for Dyn

type Output = Dyn

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> Self

Performs the + operation.

impl Clone for Dyn

fn clone(&self) -> Dyn

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Dyn

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Dyn

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Dim for Dyn

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.

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().

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

impl<D: Dim> DimAdd<D> for Dyn

type Output = Dyn

fn add(self, other: D) -> Dyn

impl<D: Dim> DimDiv<D> for Dyn

type Output = Dyn

fn div(self, other: D) -> Dyn

impl<D: DimName> DimEq<D, Dyn> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

fn representative(d1: D1, d2: D2) -> Option<Self::Representative>

This constructs a value of type Representative with the correct value

impl<D: DimName> DimEq<Dyn, D> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

fn representative(d1: D1, d2: D2) -> Option<Self::Representative>

This constructs a value of type Representative with the correct value

impl<D: Dim> DimMax<D> for Dyn

type Output = Dyn

fn max(self, other: D) -> Dyn

impl<D: Dim> DimMin<D> for Dyn

type Output = Dyn

fn min(self, other: D) -> Dyn

impl<D: Dim> DimMul<D> for Dyn

type Output = Dyn

fn mul(self, other: D) -> Dyn

impl<D: Dim> DimSub<D> for Dyn

type Output = Dyn

fn sub(self, other: D) -> Dyn

impl PartialEq for Dyn

fn eq(&self, other: &Dyn) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<D: DimName> SameDimension<D, Dyn> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D: DimName> SameDimension<Dyn, D> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D: DimName> SameNumberOfColumns<D, Dyn> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

fn representative( d1: D1, d2: D2, ) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>

Returns a representative dimension instance if the two are equal, otherwise None.

impl<D: DimName> SameNumberOfColumns<Dyn, D> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

fn representative( d1: D1, d2: D2, ) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>

Returns a representative dimension instance if the two are equal, otherwise None.

impl<D: DimName> SameNumberOfRows<D, Dyn> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

fn representative( d1: D1, d2: D2, ) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>

Returns a representative dimension instance if the two are equal, otherwise None.

impl<D: DimName> SameNumberOfRows<Dyn, D> for ShapeConstraint

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

fn representative( d1: D1, d2: D2, ) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>

Returns a representative dimension instance if the two are equal, otherwise None.

impl Serialize for Dyn

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<usize> for Dyn

type Output = Dyn

The resulting type after applying the - operator.

fn sub(self, rhs: usize) -> Self

Performs the - operation.

impl Copy for Dyn

impl Eq for Dyn

impl IsDynamic for Dyn

impl IsNotStaticOne for Dyn

impl StructuralPartialEq for Dyn