[−][src]Enum tract_hir::infer::GenericFactoid
Partial information about a value of type T.
Variants
Trait Implementations
impl<T, I> Add<I> for GenericFactoid<T> where
T: Add<T, Output = T> + PartialEq + Clone + Debug + Hash,
I: Into<GenericFactoid<T>>,
[src]
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
[src]
impl<T: Clone + Debug + PartialEq + Hash> Clone for GenericFactoid<T>
[src]
fn clone(&self) -> GenericFactoid<T>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<T: Copy + Clone + Debug + PartialEq + Hash> Copy for GenericFactoid<T>
[src]
impl<T: Debug + Clone + PartialEq + Hash> Debug for GenericFactoid<T>
[src]
impl<T: Debug + Clone + PartialEq + Hash> Default for GenericFactoid<T>
[src]
impl<T, R> Div<R> for GenericFactoid<T> where
T: Div<R, Output = T> + PartialEq + Clone + Debug + Hash,
[src]
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
[src]
impl<T: Debug + Clone + PartialEq + Hash> Factoid for GenericFactoid<T>
[src]
type Concrete = T
fn concretize(&self) -> Option<T>
[src]
Tries to transform the fact into a concrete value.
fn unify(&self, other: &Self) -> TractResult<Self>
[src]
Tries to unify the fact with another fact of the same type.
fn is_concrete(&self) -> bool
[src]
fn unify_with(&mut self, other: &Self) -> TractResult<bool>
[src]
fn unify_with_mut(&mut self, other: &mut Self) -> TractResult<bool>
[src]
fn unify_all(facts: &mut [&mut Self]) -> TractResult<bool>
[src]
impl<T: Debug + Clone + PartialEq + Hash> From<T> for GenericFactoid<T>
[src]
impl<T: Hash + Debug + Clone + PartialEq> Hash for GenericFactoid<T>
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl IntoExp<GenericFactoid<Arc<Tensor>>> for ValueProxy
[src]
impl<'a> IntoExp<GenericFactoid<Arc<Tensor>>> for &'a ValueProxy
[src]
impl IntoExp<GenericFactoid<Arc<Tensor>>> for Arc<Tensor>
[src]
impl IntoExp<GenericFactoid<DatumType>> for TypeProxy
[src]
fn bex(self) -> Exp<TypeFactoid>
[src]
impl<'a> IntoExp<GenericFactoid<DatumType>> for &'a TypeProxy
[src]
fn bex(self) -> Exp<TypeFactoid>
[src]
impl IntoExp<GenericFactoid<DatumType>> for DatumType
[src]
fn bex(self) -> Exp<TypeFactoid>
[src]
impl<'a> IntoExp<GenericFactoid<DatumType>> for &'a DatumType
[src]
fn bex(self) -> Exp<TypeFactoid>
[src]
impl<'a> IntoExp<GenericFactoid<TDim>> for &'a DimProxy
[src]
impl IntoExp<GenericFactoid<TDim>> for TDim
[src]
impl<'_> IntoExp<GenericFactoid<TDim>> for &'_ TDim
[src]
impl<'a> IntoExp<GenericFactoid<i32>> for &'a IntProxy
[src]
fn bex(self) -> Exp<IntFactoid>
[src]
impl<'a> IntoExp<GenericFactoid<i32>> for &'a ElementProxy
[src]
fn bex(self) -> Exp<IntFactoid>
[src]
impl IntoExp<GenericFactoid<i32>> for i32
[src]
fn bex(self) -> Exp<IntFactoid>
[src]
impl<T, R> Mul<R> for GenericFactoid<T> where
T: Mul<R, Output = T> + PartialEq + Clone + Debug + Hash,
[src]
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
[src]
impl<T> Neg for GenericFactoid<T> where
T: Neg<Output = T> + PartialEq + Clone + Debug + Hash,
[src]
T: Neg<Output = T> + PartialEq + Clone + Debug + Hash,
type Output = GenericFactoid<T>
The resulting type after applying the -
operator.
fn neg(self) -> GenericFactoid<T>
[src]
impl<T: PartialEq + Debug + Clone + Hash> PartialEq<GenericFactoid<T>> for GenericFactoid<T>
[src]
fn eq(&self, other: &GenericFactoid<T>) -> bool
[src]
fn ne(&self, other: &GenericFactoid<T>) -> bool
[src]
impl<T, R> Rem<R> for GenericFactoid<T> where
T: Rem<R, Output = T> + PartialEq + Clone + Debug + Hash,
[src]
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
[src]
impl<T: Debug + Clone + PartialEq + Hash> StructuralPartialEq for GenericFactoid<T>
[src]
impl<T> Sub<GenericFactoid<T>> for GenericFactoid<T> where
T: Sub<T, Output = T> + PartialEq + Clone + Debug + Hash,
[src]
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
[src]
impl TExp<GenericFactoid<TDim>> for IntoDimExp
[src]
fn get(&self, context: &Context) -> TractResult<DimFact>
[src]
Returns the current value of the expression in the given context.
fn set(&self, context: &mut Context, value: DimFact) -> TractResult<bool>
[src]
Tries to set the value of the expression in the given context.
fn get_paths(&self) -> Vec<&Path>ⓘ
[src]
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,
[src]
T: Add<T, Output = T> + Zero + PartialEq + Clone + Debug + Hash,
Auto Trait Implementations
impl<T> RefUnwindSafe for GenericFactoid<T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
impl<T> Send for GenericFactoid<T> where
T: Send,
T: Send,
impl<T> Sync for GenericFactoid<T> where
T: Sync,
T: Sync,
impl<T> Unpin for GenericFactoid<T> where
T: Unpin,
T: Unpin,
impl<T> UnwindSafe for GenericFactoid<T> where
T: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow(&self) -> &TⓘNotable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;
[src]
Notable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;
[src]
Notable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;
impl<T> Downcast for T where
T: Any,
T: Any,
fn into_any(self: Box<T>) -> Box<dyn Any + 'static>ⓘNotable traits for Box<R>
impl<R> Read for Box<R> where
R: Read + ?Sized, impl<W> Write for Box<W> where
W: Write + ?Sized, impl<F> Future for Box<F> where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<I> Iterator for Box<I> where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;
Notable traits for Box<R>
impl<R> Read for Box<R> where
R: Read + ?Sized, impl<W> Write for Box<W> where
W: Write + ?Sized, impl<F> Future for Box<F> where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<I> Iterator for Box<I> where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn as_any(&self) -> &(dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
impl<T> DowncastSync for T where
T: Send + Sync + Any,
T: Send + Sync + Any,
impl<T> DynClone for T where
T: Clone,
[src]
T: Clone,
impl<T> From<!> for T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
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>,
[src]
T: Sub<Rhs, Output = Output> + Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Add<Rhs, Output = Output> + Rem<Rhs, Output = Output>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
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>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,