Enum tract_hir::infer::GenericFactoid[−][src]

pub enum GenericFactoid<T: Debug + Clone + PartialEq + Hash> {
    Only(T),
    Any,
}

Expand description

Partial information about a value of type T.

Variants

Only(T)

Tuple Fields of Only

0: T

Any

Trait Implementations

impl<T, I> Add<I> for GenericFactoid<T> where
T: Add<T, Output = T> + PartialEq + Clone + Debug + Hash,
I: Into<GenericFactoid<T>>,

type Output = GenericFactoid<T>

The resulting type after applying the + operator.

fn add(self, rhs: I) -> Self::Output

Performs the + operation. Read more

impl<T: Clone + Debug + PartialEq + Hash> Clone for GenericFactoid<T>

fn clone(&self) -> GenericFactoid<T>

Returns a copy of the value. Read more

1.0.0[src]

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

Performs copy-assignment from source. Read more

impl<T: Debug + Clone + PartialEq + Hash> Debug for GenericFactoid<T>

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

Formats the value using the given formatter. Read more

impl<T: Debug + Clone + PartialEq + Hash> Default for GenericFactoid<T>

fn default() -> Self

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

impl<T: Display + Debug + Clone + PartialEq + Hash> Display for GenericFactoid<T>

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

Formats the value using the given formatter. Read more

impl<T, R> Div<R> for GenericFactoid<T> where
T: Div<R, Output = T> + PartialEq + Clone + Debug + Hash,

type Output = GenericFactoid<T>

The resulting type after applying the / operator.

fn div(self, rhs: R) -> Self::Output

Performs the / operation. Read more

impl<T: Debug + Clone + PartialEq + Hash> Factoid for GenericFactoid<T>

fn concretize(&self) -> Option<T>

Tries to transform the fact into a concrete value.

fn unify(&self, other: &Self) -> TractResult<Self>

Tries to unify the fact with another fact of the same type.

type Concrete = T

fn is_concrete(&self) -> bool

Returns whether the value is fully determined.

fn unify_with(&mut self, other: &Self) -> TractResult<bool>

Tries to unify the fact with another fact of the same type and update self. Read more

fn unify_with_mut(&mut self, other: &mut Self) -> TractResult<bool>

Tries to unify the fact with another fact of the same type and update both of them. Read more

fn unify_all(facts: &mut [&mut Self]) -> TractResult<bool>

Tries to unify all facts in the list. Read more

impl<T: Debug + Clone + PartialEq + Hash> From<T> for GenericFactoid<T>

fn from(t: T) -> Self

Performs the conversion.

impl<T: Hash + Debug + Clone + PartialEq> Hash for GenericFactoid<T>

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

Feeds this value into the given Hasher. Read more

1.3.0[src]

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 IntoExp<GenericFactoid<Arc<Tensor>>> for ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFactoid<Arc<Tensor>>> for &'a ValueProxy

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<Arc<Tensor>>> for Arc<Tensor>

fn bex(self) -> Exp<ValueFact>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<DatumType>> for TypeProxy

fn bex(self) -> Exp<TypeFactoid>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFactoid<DatumType>> for &'a TypeProxy

fn bex(self) -> Exp<TypeFactoid>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<DatumType>> for DatumType

fn bex(self) -> Exp<TypeFactoid>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFactoid<DatumType>> for &'a DatumType

fn bex(self) -> Exp<TypeFactoid>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFactoid<TDim>> for &'a DimProxy

fn bex(self) -> Exp<DimFact>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<TDim>> for TDim

fn bex(self) -> Exp<DimFact>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<TDim>> for &TDim

fn bex(self) -> Exp<DimFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFactoid<i64>> for &'a IntProxy

fn bex(self) -> Exp<IntFactoid>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFactoid<i64>> for &'a ElementProxy

fn bex(self) -> Exp<IntFactoid>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<i64>> for i64

fn bex(self) -> Exp<IntFactoid>

Converts the value to an Expression.

impl<T, R> Mul<R> for GenericFactoid<T> where
T: Mul<R, Output = T> + PartialEq + Clone + Debug + Hash,

type Output = GenericFactoid<T>

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation. Read more

impl<T> Neg for GenericFactoid<T> where
T: Neg<Output = T> + PartialEq + Clone + Debug + Hash,

type Output = GenericFactoid<T>

The resulting type after applying the - operator.

fn neg(self) -> GenericFactoid<T>

Performs the unary - operation. Read more

impl<T: PartialEq + Debug + Clone + Hash> PartialEq<GenericFactoid<T>> for GenericFactoid<T>

fn eq(&self, other: &GenericFactoid<T>) -> bool

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

fn ne(&self, other: &GenericFactoid<T>) -> bool

This method tests for !=.

impl<T, R> Rem<R> for GenericFactoid<T> where
T: Rem<R, Output = T> + PartialEq + Clone + Debug + Hash,

type Output = GenericFactoid<T>

The resulting type after applying the % operator.

fn rem(self, rhs: R) -> Self::Output

Performs the % operation. Read more

impl<T> Sub<GenericFactoid<T>> for GenericFactoid<T> where
T: Sub<T, Output = T> + PartialEq + Clone + Debug + Hash,

type Output = GenericFactoid<T>

The resulting type after applying the - operator.

fn sub(self, rhs: GenericFactoid<T>) -> Self::Output

Performs the - operation. Read more

impl TExp<GenericFactoid<TDim>> for IntoDimExp

fn get(&self, context: &Context) -> TractResult<DimFact>

Returns the current value of the expression in the given context.

fn set(&self, context: &mut Context, value: DimFact) -> TractResult<bool>

Tries to set the value of the expression in the given context.

fn get_paths(&self) -> Vec<&Path>ⓘ
Notable traits for Vec<u8, A>
`impl<A> Write for Vec<u8, A> where A: Allocator,`

Returns the paths that the expression depends on.

impl<T> Zero for GenericFactoid<T> where
T: Add<T, Output = T> + Zero + PartialEq + Clone + Debug + Hash,

fn zero() -> GenericFactoid<T>

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<T: Copy + Clone + Debug + PartialEq + Hash> Copy for GenericFactoid<T>

impl<T: Debug + Clone + PartialEq + Hash> StructuralPartialEq for GenericFactoid<T>

Auto Trait Implementations

impl<T> RefUnwindSafe for GenericFactoid<T> where
T: RefUnwindSafe,

impl<T> Send for GenericFactoid<T> where
T: Send,

impl<T> Sync for GenericFactoid<T> where
T: Sync,

impl<T> Unpin for GenericFactoid<T> where
T: Unpin,

impl<T> UnwindSafe for GenericFactoid<T> where
T: UnwindSafe,

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

pub fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>ⓘ
Notable traits for Box<W, Global>
`impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<R> Read for Box<R, Global> where R: Read + ?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

pub 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

pub 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

pub 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,

pub 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,

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

impl<T> From<!> for T

pub fn from(t: !) -> T

Performs the conversion.

impl<T> From<T> for T

pub fn from(t: T) -> T

Performs the conversion.

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

pub fn into(self) -> U

Performs the conversion.

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

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T

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

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

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

recently added

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

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

pub 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.

pub 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.

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

Performs the conversion.

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>,