Enum tract_hir::infer::GenericFactoid

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

Partial information about a value of type T.

Variants

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

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the "default value" for a type.

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.

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

type Concrete = 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.

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.

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.

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

Tries to unify all facts in the list.

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

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

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

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<i32>> for &'a IntProxy

fn bex(self) -> Exp<IntFactoid>

Converts the value to an Expression.

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

fn bex(self) -> Exp<IntFactoid>

Converts the value to an Expression.

impl IntoExp<GenericFactoid<i32>> for i32

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.

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.

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

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.

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

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.

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>

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. # Purity

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.