Trait tract_hir::infer::rules::expr::IntoExp

pub trait IntoExp<T> {
    fn bex(self) -> Exp<T>;
}

Required methods

fn bex(self) -> Exp<T>

Converts the value to an Expression.

Implementations on Foreign Types

impl IntoExp<GenericFactoid<i64>> for i64

fn bex(self) -> Exp<IntFactoid>

Implementors

impl IntoExp<GenericFactoid<DatumType>> for DatumType

impl IntoExp<GenericFactoid<DatumType>> for TypeProxy

impl IntoExp<GenericFactoid<TDim>> for &TDim

impl IntoExp<GenericFactoid<TDim>> for TDim

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

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

impl IntoExp<ShapeFactoid> for ShapeFactoid

impl IntoExp<ShapeFactoid> for ShapeProxy

impl IntoExp<ShapeFactoid> for TVec<TDim>

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

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

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

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

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

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

impl<'a> IntoExp<ShapeFactoid> for &'a ShapeProxy

impl<T, E: TExp<T> + 'static> IntoExp<T> for E