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.

Loading content...

Implementations on Foreign Types

impl IntoExp<GenericFactoid<i32>> for i32

fn bex(self) -> Exp<IntFactoid>

Loading content...

Implementors

impl IntoExp<GenericFactoid<DatumType>> for DatumType

fn bex(self) -> Exp<TypeFactoid>

impl IntoExp<GenericFactoid<DatumType>> for TypeProxy

fn bex(self) -> Exp<TypeFactoid>

impl IntoExp<GenericFactoid<TDim>> for TDim

fn bex(self) -> Exp<DimFact>

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

fn bex(self) -> Exp<ValueFact>

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

fn bex(self) -> Exp<ValueFact>

impl IntoExp<ShapeFactoid> for ShapeProxy

fn bex(self) -> Exp<ShapeFactoid>

impl IntoExp<ShapeFactoid> for ShapeFactoid

fn bex(self) -> Exp<ShapeFactoid>

impl IntoExp<ShapeFactoid> for TVec<TDim>

fn bex(self) -> Exp<ShapeFactoid>

impl<'_> IntoExp<GenericFactoid<TDim>> for &'_ TDim

fn bex(self) -> Exp<DimFact>

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

fn bex(self) -> Exp<TypeFactoid>

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

fn bex(self) -> Exp<TypeFactoid>

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

fn bex(self) -> Exp<DimFact>

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

fn bex(self) -> Exp<IntFactoid>

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

fn bex(self) -> Exp<IntFactoid>

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

fn bex(self) -> Exp<ValueFact>

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

fn bex(self) -> Exp<ShapeFactoid>

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

fn bex(self) -> Exp<T>

Loading content...