Struct rin::math::dimension::U18

pub struct U18;

A type level dimension.

Trait Implementations

impl DimName for U18

type Value = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>

fn name() -> U18

The name of this dimension, i.e., the singleton Self.

fn dim() -> usize

The value of this dimension.

impl PartialEq<U18> for U18

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Hash for U18

fn hash<__H>(&self, state: &mut __H) where     __H: Hasher,

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].

impl Eq for U18

impl Copy for U18

impl Clone for U18

fn clone(&self) -> U18

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for U18

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

Formats the value using the given formatter.

impl Dim for U18

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.

fn from_usize(dim: usize) -> U18

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>() -> bool where     D: Dim,

impl IsNotStaticOne for U18

impl<'de> Deserialize<'de> for U18

fn deserialize<__D>(     __deserializer: __D ) -> Result<U18, <__D as Deserializer<'de>>::Error> where     __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for U18

fn serialize<__S>(     &self,     __serializer: __S ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error> where     __S: Serializer,

Serialize this value into the given Serde serializer.