Enum tract_hir::infer::GenericFactoid

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

Expand description

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. Read more

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

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

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

Converts to this type from the input type.

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

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

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, Self: Sized,

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

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

fn bex(self) -> Exp<ValueFact>

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<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 IntoExp<GenericFactoid<DatumType>> for TypeProxy

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 GenericFactoid<TDim>

fn bex(self) -> Exp<GenericFactoid<TDim>>

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 ElementProxy

fn bex(self) -> Exp<IntFactoid>

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 IntoExp<GenericFactoid<i64>> for IntFactoid

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 + PartialEq + Hash> PartialEq 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 ==.

1.0.0 · source§

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

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

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

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

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

Auto Trait Implementations§

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

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,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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>) -> Box<dyn Any>

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.

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

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

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.

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.

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

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

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

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

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

impl<T> DynHash for T
where T: Hash + ?Sized,

fn dyn_hash(&self, state: &mut dyn Hasher)

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<!> for T

fn from(t: !) -> T

Converts to this type from the input type.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

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<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

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)

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.

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.

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: Sub<Rhs, Output = Output> + Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Add<Rhs, Output = Output> + Rem<Rhs, Output = Output>,