[−][src]Struct tract_hir::infer::rules::expr::Exp
Trait Implementations
impl<IE: IntoExp<IntFactoid>> Add<IE> for Exp<IntFactoid>[src]
type Output = Exp<IntFactoid>
The resulting type after applying the + operator.
fn add(self, other: IE) -> Exp<IntFactoid>[src]
impl<IE: IntoExp<DimFact>> Add<IE> for Exp<DimFact>[src]
type Output = Exp<DimFact>
The resulting type after applying the + operator.
fn add(self, other: IE) -> Exp<DimFact>[src]
impl<T> Debug for Exp<T> where
T: Factoid + Output + Clone + Debug, [src]
T: Factoid + Output + Clone + Debug,
impl Mul<Exp<GenericFactoid<TDim>>> for i32[src]
type Output = Exp<DimFact>
The resulting type after applying the * operator.
fn mul(self, other: Exp<DimFact>) -> Exp<DimFact>[src]
impl Mul<Exp<GenericFactoid<i32>>> for i32[src]
type Output = Exp<IntFactoid>
The resulting type after applying the * operator.
fn mul(self, other: Exp<IntFactoid>) -> Exp<IntFactoid>[src]
impl<IE: IntoExp<IntFactoid>> Sub<IE> for Exp<IntFactoid>[src]
type Output = Exp<IntFactoid>
The resulting type after applying the - operator.
fn sub(self, other: IE) -> Exp<IntFactoid>[src]
impl<IE: IntoExp<DimFact>> Sub<IE> for Exp<DimFact>[src]
type Output = Exp<DimFact>
The resulting type after applying the - operator.
fn sub(self, other: IE) -> Exp<DimFact>[src]
impl<T: Factoid + Output + Clone + Debug> TExp<T> for Exp<T>[src]
fn get(&self, context: &Context) -> TractResult<T>[src]
Returns the current value of the expression in the given context.
fn set(&self, context: &mut Context, value: T) -> 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 ToDimExp for Exp<IntFactoid>[src]
Auto Trait Implementations
impl<T> !RefUnwindSafe for Exp<T>
impl<T> !Send for Exp<T>
impl<T> !Sync for Exp<T>
impl<T> Unpin for Exp<T>
impl<T> !UnwindSafe for Exp<T>
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> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, E> IntoExp<T> for E where
E: 'static + TExp<T>, [src]
E: 'static + TExp<T>,
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>,