Enum tract_core::internal::TDim

source · [−]

pub enum TDim {
    Sym(Symbol),
    Val(i64),
    Add(Vec<TDim, Global>),
    Mul(Vec<TDim, Global>),
    MulInt(i64, Box<TDim, Global>),
    Div(Box<TDim, Global>, u64),
}

Variants

`Sym(Symbol)`

`Val(i64)`

`Add(Vec<TDim, Global>)`

`Mul(Vec<TDim, Global>)`

`MulInt(i64, Box<TDim, Global>)`

`Div(Box<TDim, Global>, u64)`

Implementations

impl TDim

pub fn is_one(&self) -> bool

pub fn to_i64(&self) -> Result<i64, Error>

pub fn eval(&self, values: &SymbolValues) -> TDim

pub fn reduce(self) -> TDim

pub fn simplify(self) -> TDim

pub fn div_ceil(self, rhs: u64) -> TDim

pub fn slope(&self, sym: Symbol) -> (i64, u64 )

pub fn symbols(&self) -> HashSet<Symbol, RandomState>

Trait Implementations

impl<'a> Add<&'a TDim> for TDim

type Output = TDim

The resulting type after applying the + operator.

fn add(self, rhs: &'a TDim) -> TDim

Performs the + operation. Read more

impl<I> Add<I> for TDim where
I: Into<TDim>,

type Output = TDim

The resulting type after applying the + operator.

fn add(self, rhs: I) -> TDim

Performs the + operation. Read more

impl<'a> AddAssign<&'a TDim> for TDim

fn add_assign(&mut self, rhs: &'a TDim)

Performs the += operation. Read more

impl<I> AddAssign<I> for TDim where
I: Into<TDim>,

fn add_assign(&mut self, rhs: I)

Performs the += operation. Read more

impl Bounded for TDim

fn min_value() -> TDim

returns the smallest finite number this type can represent

fn max_value() -> TDim

returns the largest finite number this type can represent

impl Clone for TDim

fn clone(&self) -> TDim

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

impl Datum for TDim

fn name() -> &'static str

fn datum_type() -> DatumType

impl Debug for TDim

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

Formats the value using the given formatter. Read more

impl Default for TDim

fn default() -> TDim

Returns the “default value” for a type. Read more

impl DimLike for TDim

fn maybe_div(&self, other: &TDim) -> Result<(TDim, u64 ), Error>

fn to_i64(&self) -> Result<i64, Error>

Convert to regular integer.

fn one() -> TDim

do not use num_traits::Mul as it implies a regular Mul

fn eval(&self, values: &SymbolValues) -> TDim

fn divceil(&self, other: usize) -> Self

Integer divise, rounding up to next integer.

fn to_usize(&self) -> Result<usize, Error>

fn to_isize(&self) -> Result<isize, Error>

fn to_i32(&self) -> Result<i32, Error>

impl Display for TDim

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

Formats the value using the given formatter. Read more

impl<I> Div<I> for TDim where
I: AsPrimitive<u64> + PrimInt,

type Output = TDim

The resulting type after applying the / operator.

fn div(self, rhs: I) -> TDim

Performs the / operation. Read more

impl<I> DivAssign<I> for TDim where
I: AsPrimitive<u64> + PrimInt,

fn div_assign(&mut self, rhs: I)

Performs the /= operation. Read more

impl<'a> From<&'a Symbol> for TDim

fn from(it: &'a Symbol) -> TDim

Converts to this type from the input type.

impl<'a> From<&'a i32> for TDim

fn from(v: &'a i32) -> TDim

Converts to this type from the input type.

impl<'a> From<&'a i64> for TDim

fn from(v: &'a i64) -> TDim

Converts to this type from the input type.

impl<'a> From<&'a isize> for TDim

fn from(v: &'a isize) -> TDim

Converts to this type from the input type.

impl<'a> From<&'a u64> for TDim

fn from(v: &'a u64) -> TDim

Converts to this type from the input type.

impl<'a> From<&'a usize> for TDim

fn from(v: &'a usize) -> TDim

Converts to this type from the input type.

impl From<Symbol> for TDim

fn from(it: Symbol) -> TDim

Converts to this type from the input type.

impl From<TDim> for Tensor

fn from(it: TDim) -> Tensor

Converts to this type from the input type.

impl From<char> for TDim

fn from(c: char) -> TDim

Converts to this type from the input type.

impl From<i32> for TDim

fn from(v: i32) -> TDim

Converts to this type from the input type.

impl From<i64> for TDim

fn from(v: i64) -> TDim

Converts to this type from the input type.

impl From<isize> for TDim

fn from(v: isize) -> TDim

Converts to this type from the input type.

impl From<u64> for TDim

fn from(v: u64) -> TDim

Converts to this type from the input type.

impl From<usize> for TDim

fn from(v: usize) -> TDim

Converts to this type from the input type.

impl FromStr for TDim

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<TDim, <TDim as FromStr>::Err>

Parses a string s to return a value of this type. Read more

impl Hash for TDim

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

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

Feeds a slice of this type into the given Hasher. Read more

impl<'a> Mul<&'a TDim> for TDim

type Output = TDim

The resulting type after applying the * operator.

fn mul(self, rhs: &'a TDim) -> TDim

Performs the * operation. Read more

impl<I> Mul<I> for TDim where
I: Into<TDim>,

type Output = TDim

The resulting type after applying the * operator.

fn mul(self, rhs: I) -> TDim

Performs the * operation. Read more

impl<'a> MulAssign<&'a TDim> for TDim

fn mul_assign(&mut self, rhs: &'a TDim)

Performs the *= operation. Read more

impl<I> MulAssign<I> for TDim where
I: Into<TDim>,

fn mul_assign(&mut self, rhs: I)

Performs the *= operation. Read more

impl Neg for TDim

type Output = TDim

The resulting type after applying the - operator.

fn neg(self) -> TDim

Performs the unary - operation. Read more

impl One for TDim

fn one() -> TDim

Returns the multiplicative identity element of Self, 1. Read more

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool where
Self: PartialEq<Self>,

Returns true if self is equal to the multiplicative identity. Read more

impl Ord for TDim

fn cmp(&self, other: &TDim) -> Ordering

This method returns an Ordering between self and other. Read more

1.21.0 · source

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values. Read more

1.21.0 · source

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values. Read more

1.50.0 · source

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval. Read more

impl PartialEq<TDim> for TDim

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

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

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

This method tests for !=.

impl PartialOrd<TDim> for TDim

fn partial_cmp(&self, other: &TDim) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more

1.0.0 · source

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

This method tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · source

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · source

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

This method tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · source

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl<'a> Product<&'a TDim> for TDim

fn product<I>(iter: I) -> TDim where
I: Iterator<Item = &'a TDim>,

Method which takes an iterator and generates Self from the elements by multiplying the items. Read more

impl Product<TDim> for TDim

fn product<I>(iter: I) -> TDim where
I: Iterator<Item = TDim>,

Method which takes an iterator and generates Self from the elements by multiplying the items. Read more

impl<I> Rem<I> for TDim where
I: AsPrimitive<u64> + PrimInt,

type Output = TDim

The resulting type after applying the % operator.

fn rem(self, rhs: I) -> TDim

Performs the % operation. Read more

impl<I> RemAssign<I> for TDim where
I: AsPrimitive<u64> + PrimInt,

fn rem_assign(&mut self, rhs: I)

Performs the %= operation. Read more

impl<'a> Sub<&'a TDim> for TDim

type Output = TDim

The resulting type after applying the - operator.

fn sub(self, rhs: &'a TDim) -> TDim

Performs the - operation. Read more

impl<I> Sub<I> for TDim where
I: Into<TDim>,

type Output = TDim

The resulting type after applying the - operator.

fn sub(self, rhs: I) -> TDim

Performs the - operation. Read more

impl<'a> SubAssign<&'a TDim> for TDim

fn sub_assign(&mut self, rhs: &'a TDim)

Performs the -= operation. Read more

impl<I> SubAssign<I> for TDim where
I: Into<TDim>,

fn sub_assign(&mut self, rhs: I)

Performs the -= operation. Read more

impl<'a> Sum<&'a TDim> for TDim

fn sum<I>(iter: I) -> TDim where
I: Iterator<Item = &'a TDim>,

Method which takes an iterator and generates Self from the elements by “summing up” the items. Read more

impl Sum<TDim> for TDim

fn sum<I>(iter: I) -> TDim where
I: Iterator<Item = TDim>,

Method which takes an iterator and generates Self from the elements by “summing up” the items. Read more

impl<'a> ToDim for &'a TDim

fn to_dim(&self) -> TDim

Convert self to a TDim.

impl<'a> TryFrom<&'a TDim> for TDim

type Error = Error

The type returned in the event of a conversion error.

fn try_from(d: &'a TDim) -> Result<TDim, Error>

Performs the conversion.

impl Zero for TDim

fn zero() -> TDim

Returns the additive identity element of Self, 0. Read more

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl Eq for TDim

impl StructuralEq for TDim

impl StructuralPartialEq for TDim

Auto Trait Implementations

impl RefUnwindSafe for TDim

impl Send for TDim

impl Sync for TDim

impl Unpin for TDim

impl UnwindSafe for TDim

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> Downcast for T where
T: Any,

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>ⓘNotable traits for Box<R, Global>`impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<F, A> Future for Box<F, A> where F: Future + Unpin + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;impl<I, A> Iterator for Box<I, A> where I: Iterator + ?Sized, A: Allocator, type Item = <I as Iterator>::Item;`

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

impl<T> DowncastSync for T where
T: Any + Send + Sync,

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

impl<T> DynClone for T where
T: Clone,

fn __clone_box(&self, Private) -> *mut ()

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<I> ToDim for I where
I: Into<TDim> + Clone,

fn to_dim(&self) -> TDim

Convert self to a TDim.

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T where
T: Display + ?Sized,

default fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T, Rhs> NumAssignOps<Rhs> for T where
T: AddAssign<Rhs> + SubAssign<Rhs> + MulAssign<Rhs> + DivAssign<Rhs> + RemAssign<Rhs>,

impl<T, Rhs, Output> NumOps<Rhs, Output> for T where
T: Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Rem<Rhs, Output = Output> + Add<Rhs, Output = Output> + Sub<Rhs, Output = Output>,