Struct Expr

#[repr(C)]
pub struct Expr { /* private fields */ }

Implementations

impl Expr

pub fn new(loc: impl Into<Location>, ty: impl Into<Type>) -> Self

Lossless complete-field allocation.

impl Expr

pub fn subscript( &self, indices: impl IntoIterator<Item = Subscript>, loc: impl Into<Location>, ) -> Result<Any>

self[indices], as the subscript rule of its type realizes it (ir.SubscriptExprRealize).

Trait Implementations

impl Add<&Expr> for f32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &Expr) -> Self::Output

Performs the + operation.

impl Add<&Expr> for f64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &Expr) -> Self::Output

Performs the + operation.

impl Add<&Expr> for i32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &Expr) -> Self::Output

Performs the + operation.

impl Add<&Expr> for i64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &Expr) -> Self::Output

Performs the + operation.

impl Add<Expr> for f32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: Expr) -> Self::Output

Performs the + operation.

impl Add<Expr> for f64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: Expr) -> Self::Output

Performs the + operation.

impl Add<Expr> for i32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: Expr) -> Self::Output

Performs the + operation.

impl Add<Expr> for i64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: Expr) -> Self::Output

Performs the + operation.

impl<R: Operand> Add<R> for &Expr

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: R) -> Self::Output

Performs the + operation.

impl<R: Operand> Add<R> for Expr

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: R) -> Self::Output

Performs the + operation.

impl AnyCompatible for Expr

unsafe fn is_undefined(field: *const Self) -> bool

Whether field, which holds a value of this type or all-zero bytes, holds all-zero bytes that are no value of this type, as a null object reference, a string of type index None or a zero device type: a field that a creator left undefined for reflection to set, as C++ UnsafeInit leaves a reference undefined (null). Unlike a C++ undefined reference, it is no value; a nullable reference is Option<T>, whose None is a defined value.

fn type_str() -> String

the type string of the type

unsafe fn copy_to_any_view(src: &Self, data: &mut TVMFFIAny)

the value to copy to TVMFFIAny

unsafe fn check_any_strict(data: &TVMFFIAny) -> bool

unsafe fn copy_from_any_view_after_check(data: &TVMFFIAny) -> Self

Copy value from TVMFFIAny after checking caller must ensure that the value is compatible with the type

unsafe fn move_to_any(src: Self, data: &mut TVMFFIAny)

consume the value to move to Any

unsafe fn move_from_any_after_check(data: &mut TVMFFIAny) -> Self

the value to move from TVMFFIAny NOTE: pay very careful attention to avoid memory leak!

unsafe fn try_cast_from_any_view(data: &TVMFFIAny) -> Result<Self, ()>

try to cast the value from AnyView

fn get_mismatch_type_info(data: &TVMFFIAny) -> String

Get the type key of a type when TryCastFromAnyView fails.

fn type_schema() -> String

The type schema of the type: the JSON object C++ TypeTraits<T>::TypeSchema writes, which the type schemas of functions and fields embed.

fn to_any(&self) -> Any

Borrow self into an owned Any, increfing object-backed values.

impl<'a> ArgIntoRef for &'a Expr

type Target = Expr

fn to_ref(&self) -> &Self::Target

impl ArgIntoRef for Expr

type Target = Expr

fn to_ref(&self) -> &Self::Target

impl BitAnd<&Expr> for f32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &Expr) -> Self::Output

Performs the & operation.

impl BitAnd<&Expr> for f64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &Expr) -> Self::Output

Performs the & operation.

impl BitAnd<&Expr> for i32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &Expr) -> Self::Output

Performs the & operation.

impl BitAnd<&Expr> for i64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &Expr) -> Self::Output

Performs the & operation.

impl BitAnd<Expr> for f32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: Expr) -> Self::Output

Performs the & operation.

impl BitAnd<Expr> for f64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: Expr) -> Self::Output

Performs the & operation.

impl BitAnd<Expr> for i32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: Expr) -> Self::Output

Performs the & operation.

impl BitAnd<Expr> for i64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: Expr) -> Self::Output

Performs the & operation.

impl<R: Operand> BitAnd<R> for &Expr

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: R) -> Self::Output

Performs the & operation.

impl<R: Operand> BitAnd<R> for Expr

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: R) -> Self::Output

Performs the & operation.

impl BitOr<&Expr> for f32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &Expr) -> Self::Output

Performs the | operation.

impl BitOr<&Expr> for f64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &Expr) -> Self::Output

Performs the | operation.

impl BitOr<&Expr> for i32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &Expr) -> Self::Output

Performs the | operation.

impl BitOr<&Expr> for i64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &Expr) -> Self::Output

Performs the | operation.

impl BitOr<Expr> for f32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: Expr) -> Self::Output

Performs the | operation.

impl BitOr<Expr> for f64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: Expr) -> Self::Output

Performs the | operation.

impl BitOr<Expr> for i32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: Expr) -> Self::Output

Performs the | operation.

impl BitOr<Expr> for i64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: Expr) -> Self::Output

Performs the | operation.

impl<R: Operand> BitOr<R> for &Expr

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: R) -> Self::Output

Performs the | operation.

impl<R: Operand> BitOr<R> for Expr

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: R) -> Self::Output

Performs the | operation.

impl BitXor<&Expr> for f32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<&Expr> for f64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<&Expr> for i32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<&Expr> for i64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<Expr> for f32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<Expr> for f64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<Expr> for i32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Expr) -> Self::Output

Performs the ^ operation.

impl BitXor<Expr> for i64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Expr) -> Self::Output

Performs the ^ operation.

impl<R: Operand> BitXor<R> for &Expr

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: R) -> Self::Output

Performs the ^ operation.

impl<R: Operand> BitXor<R> for Expr

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: R) -> Self::Output

Performs the ^ operation.

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Deref for Expr

type Target = ExprObj

The resulting type after dereferencing.

fn deref(&self) -> &ExprObj

Dereferences the value.

impl From<&Add> for Expr

fn from(value: &Add) -> Self

Converts to this type from the input type.

impl From<&And> for Expr

fn from(value: &And) -> Self

Converts to this type from the input type.

impl From<&BaseFunc> for Expr

fn from(value: &BaseFunc) -> Self

Converts to this type from the input type.

impl From<&BitwiseAnd> for Expr

fn from(value: &BitwiseAnd) -> Self

Converts to this type from the input type.

impl From<&BitwiseNot> for Expr

fn from(value: &BitwiseNot) -> Self

Converts to this type from the input type.

impl From<&BitwiseOr> for Expr

fn from(value: &BitwiseOr) -> Self

Converts to this type from the input type.

impl From<&BitwiseXor> for Expr

fn from(value: &BitwiseXor) -> Self

Converts to this type from the input type.

impl From<&Broadcast> for Expr

fn from(value: &Broadcast) -> Self

Converts to this type from the input type.

impl From<&Call> for Expr

fn from(value: &Call) -> Self

Converts to this type from the input type.

impl From<&CanonicalExpr> for Expr

fn from(value: &CanonicalExpr) -> Self

Converts to this type from the input type.

impl From<&Cast> for Expr

fn from(value: &Cast) -> Self

Converts to this type from the input type.

impl From<&Constant> for Expr

fn from(value: &Constant) -> Self

Converts to this type from the input type.

impl From<&DataTypeImm> for Expr

fn from(value: &DataTypeImm) -> Self

Converts to this type from the input type.

impl From<&Div> for Expr

fn from(value: &Div) -> Self

Converts to this type from the input type.

impl From<&EQ> for Expr

fn from(value: &EQ) -> Self

Converts to this type from the input type.

impl From<&Expr> for Expr

fn from(value: &Expr) -> Self

Converts to this type from the input type.

impl From<&Expr> for ExprResult

fn from(value: &Expr) -> Self

Converts to this type from the input type.

impl From<&FloatImm> for Expr

fn from(value: &FloatImm) -> Self

Converts to this type from the input type.

impl From<&FloorDiv> for Expr

fn from(value: &FloorDiv) -> Self

Converts to this type from the input type.

impl From<&FloorMod> for Expr

fn from(value: &FloorMod) -> Self

Converts to this type from the input type.

impl From<&Function> for Expr

fn from(value: &Function) -> Self

Converts to this type from the input type.

impl From<&GE> for Expr

fn from(value: &GE) -> Self

Converts to this type from the input type.

impl From<&GT> for Expr

fn from(value: &GT) -> Self

Converts to this type from the input type.

impl From<&GenericConst> for Expr

fn from(value: &GenericConst) -> Self

Converts to this type from the input type.

impl From<&GlobalVar> for Expr

fn from(value: &GlobalVar) -> Self

Converts to this type from the input type.

impl From<&IntExpr> for Expr

fn from(value: &IntExpr) -> Self

Converts to this type from the input type.

impl From<&IntImm> for Expr

fn from(value: &IntImm) -> Self

Converts to this type from the input type.

impl From<&IterMapExpr> for Expr

fn from(value: &IterMapExpr) -> Self

Converts to this type from the input type.

impl From<&IterSplitExpr> for Expr

fn from(value: &IterSplitExpr) -> Self

Converts to this type from the input type.

impl From<&IterSumExpr> for Expr

fn from(value: &IterSumExpr) -> Self

Converts to this type from the input type.

impl From<&LE> for Expr

fn from(value: &LE) -> Self

Converts to this type from the input type.

impl From<&LShift> for Expr

fn from(value: &LShift) -> Self

Converts to this type from the input type.

impl From<&LT> for Expr

fn from(value: &LT) -> Self

Converts to this type from the input type.

impl From<&LambdaExpr> for Expr

fn from(value: &LambdaExpr) -> Self

Converts to this type from the input type.

impl From<&Let> for Expr

fn from(value: &Let) -> Self

Converts to this type from the input type.

impl From<&Max> for Expr

fn from(value: &Max) -> Self

Converts to this type from the input type.

impl From<&Min> for Expr

fn from(value: &Min) -> Self

Converts to this type from the input type.

impl From<&Mod> for Expr

fn from(value: &Mod) -> Self

Converts to this type from the input type.

impl From<&Mul> for Expr

fn from(value: &Mul) -> Self

Converts to this type from the input type.

impl From<&NE> for Expr

fn from(value: &NE) -> Self

Converts to this type from the input type.

impl From<&Not> for Expr

fn from(value: &Not) -> Self

Converts to this type from the input type.

impl From<&Op> for Expr

fn from(value: &Op) -> Self

Converts to this type from the input type.

impl From<&OpaqueExpr> for Expr

fn from(value: &OpaqueExpr) -> Self

Converts to this type from the input type.

impl From<&Or> for Expr

fn from(value: &Or) -> Self

Converts to this type from the input type.

impl From<&PrimExpr> for Expr

fn from(value: &PrimExpr) -> Self

Converts to this type from the input type.

impl From<&RShift> for Expr

fn from(value: &RShift) -> Self

Converts to this type from the input type.

impl From<&Ramp> for Expr

fn from(value: &Ramp) -> Self

Converts to this type from the input type.

impl From<&Select> for Expr

fn from(value: &Select) -> Self

Converts to this type from the input type.

impl From<&Shuffle> for Expr

fn from(value: &Shuffle) -> Self

Converts to this type from the input type.

impl From<&SplitExpr> for Expr

fn from(value: &SplitExpr) -> Self

Converts to this type from the input type.

impl From<&StagingExpr> for Expr

fn from(value: &StagingExpr) -> Self

Converts to this type from the input type.

impl From<&StringImm> for Expr

fn from(value: &StringImm) -> Self

Converts to this type from the input type.

impl From<&Sub> for Expr

fn from(value: &Sub) -> Self

Converts to this type from the input type.

impl From<&SumExpr> for Expr

fn from(value: &SumExpr) -> Self

Converts to this type from the input type.

impl From<&TensorLoad> for Expr

fn from(value: &TensorLoad) -> Self

Converts to this type from the input type.

impl From<&TensorRegion> for Expr

fn from(value: &TensorRegion) -> Self

Converts to this type from the input type.

impl From<&Tuple> for Expr

fn from(value: &Tuple) -> Self

Converts to this type from the input type.

impl From<&TupleGetItem> for Expr

fn from(value: &TupleGetItem) -> Self

Converts to this type from the input type.

impl From<&Var> for Expr

fn from(value: &Var) -> Self

Converts to this type from the input type.

impl From<Add> for Expr

fn from(value: Add) -> Self

Converts to this type from the input type.

impl From<And> for Expr

fn from(value: And) -> Self

Converts to this type from the input type.

impl From<BaseFunc> for Expr

fn from(value: BaseFunc) -> Self

Converts to this type from the input type.

impl From<BitwiseAnd> for Expr

fn from(value: BitwiseAnd) -> Self

Converts to this type from the input type.

impl From<BitwiseNot> for Expr

fn from(value: BitwiseNot) -> Self

Converts to this type from the input type.

impl From<BitwiseOr> for Expr

fn from(value: BitwiseOr) -> Self

Converts to this type from the input type.

impl From<BitwiseXor> for Expr

fn from(value: BitwiseXor) -> Self

Converts to this type from the input type.

impl From<Broadcast> for Expr

fn from(value: Broadcast) -> Self

Converts to this type from the input type.

impl From<Call> for Expr

fn from(value: Call) -> Self

Converts to this type from the input type.

impl From<CanonicalExpr> for Expr

fn from(value: CanonicalExpr) -> Self

Converts to this type from the input type.

impl From<Cast> for Expr

fn from(value: Cast) -> Self

Converts to this type from the input type.

impl From<Constant> for Expr

fn from(value: Constant) -> Self

Converts to this type from the input type.

impl From<DataTypeImm> for Expr

fn from(value: DataTypeImm) -> Self

Converts to this type from the input type.

impl From<Div> for Expr

fn from(value: Div) -> Self

Converts to this type from the input type.

impl From<EQ> for Expr

fn from(value: EQ) -> Self

Converts to this type from the input type.

impl From<Expr> for ExprResult

fn from(value: Expr) -> Self

Converts to this type from the input type.

impl From<FloatImm> for Expr

fn from(value: FloatImm) -> Self

Converts to this type from the input type.

impl From<FloorDiv> for Expr

fn from(value: FloorDiv) -> Self

Converts to this type from the input type.

impl From<FloorMod> for Expr

fn from(value: FloorMod) -> Self

Converts to this type from the input type.

impl From<Function> for Expr

fn from(value: Function) -> Self

Converts to this type from the input type.

impl From<GE> for Expr

fn from(value: GE) -> Self

Converts to this type from the input type.

impl From<GT> for Expr

fn from(value: GT) -> Self

Converts to this type from the input type.

impl From<GenericConst> for Expr

fn from(value: GenericConst) -> Self

Converts to this type from the input type.

impl From<GlobalVar> for Expr

fn from(value: GlobalVar) -> Self

Converts to this type from the input type.

impl From<IntExpr> for Expr

fn from(value: IntExpr) -> Self

Converts to this type from the input type.

impl From<IntImm> for Expr

fn from(value: IntImm) -> Self

Converts to this type from the input type.

impl From<IterMapExpr> for Expr

fn from(value: IterMapExpr) -> Self

Converts to this type from the input type.

impl From<IterSplitExpr> for Expr

fn from(value: IterSplitExpr) -> Self

Converts to this type from the input type.

impl From<IterSumExpr> for Expr

fn from(value: IterSumExpr) -> Self

Converts to this type from the input type.

impl From<LE> for Expr

fn from(value: LE) -> Self

Converts to this type from the input type.

impl From<LShift> for Expr

fn from(value: LShift) -> Self

Converts to this type from the input type.

impl From<LT> for Expr

fn from(value: LT) -> Self

Converts to this type from the input type.

impl From<LambdaExpr> for Expr

fn from(value: LambdaExpr) -> Self

Converts to this type from the input type.

impl From<Let> for Expr

fn from(value: Let) -> Self

Converts to this type from the input type.

impl From<Max> for Expr

fn from(value: Max) -> Self

Converts to this type from the input type.

impl From<Min> for Expr

fn from(value: Min) -> Self

Converts to this type from the input type.

impl From<Mod> for Expr

fn from(value: Mod) -> Self

Converts to this type from the input type.

impl From<Mul> for Expr

fn from(value: Mul) -> Self

Converts to this type from the input type.

impl From<NE> for Expr

fn from(value: NE) -> Self

Converts to this type from the input type.

impl From<Not> for Expr

fn from(value: Not) -> Self

Converts to this type from the input type.

impl From<Op> for Expr

fn from(value: Op) -> Self

Converts to this type from the input type.

impl From<OpaqueExpr> for Expr

fn from(value: OpaqueExpr) -> Self

Converts to this type from the input type.

impl From<Or> for Expr

fn from(value: Or) -> Self

Converts to this type from the input type.

impl From<PrimExpr> for Expr

fn from(value: PrimExpr) -> Self

Converts to this type from the input type.

impl From<RShift> for Expr

fn from(value: RShift) -> Self

Converts to this type from the input type.

impl From<Ramp> for Expr

fn from(value: Ramp) -> Self

Converts to this type from the input type.

impl From<Select> for Expr

fn from(value: Select) -> Self

Converts to this type from the input type.

impl From<Shuffle> for Expr

fn from(value: Shuffle) -> Self

Converts to this type from the input type.

impl From<SplitExpr> for Expr

fn from(value: SplitExpr) -> Self

Converts to this type from the input type.

impl From<StagingExpr> for Expr

fn from(value: StagingExpr) -> Self

Converts to this type from the input type.

impl From<StringImm> for Expr

fn from(value: StringImm) -> Self

Converts to this type from the input type.

impl From<Sub> for Expr

fn from(value: Sub) -> Self

Converts to this type from the input type.

impl From<SumExpr> for Expr

fn from(value: SumExpr) -> Self

Converts to this type from the input type.

impl From<TensorLoad> for Expr

fn from(value: TensorLoad) -> Self

Converts to this type from the input type.

impl From<TensorRegion> for Expr

fn from(value: TensorRegion) -> Self

Converts to this type from the input type.

impl From<Tuple> for Expr

fn from(value: Tuple) -> Self

Converts to this type from the input type.

impl From<TupleGetItem> for Expr

fn from(value: TupleGetItem) -> Self

Converts to this type from the input type.

impl From<Var> for Expr

fn from(value: Var) -> Self

Converts to this type from the input type.

impl From<bool> for Expr

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<f32> for Expr

fn from(value: f32) -> Self

Converts to this type from the input type.

impl From<f64> for Expr

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i32> for Expr

fn from(value: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Expr

fn from(value: i64) -> Self

Converts to this type from the input type.

impl<'a> IntoArgHolder for &'a Expr

type Target = &'a Expr

fn into_arg_holder(self) -> Self::Target

impl IntoArgHolder for Expr

type Target = Expr

fn into_arg_holder(self) -> Self::Target

impl Mul<&Expr> for f32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &Expr) -> Self::Output

Performs the * operation.

impl Mul<&Expr> for f64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &Expr) -> Self::Output

Performs the * operation.

impl Mul<&Expr> for i32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &Expr) -> Self::Output

Performs the * operation.

impl Mul<&Expr> for i64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &Expr) -> Self::Output

Performs the * operation.

impl Mul<Expr> for f32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Self::Output

Performs the * operation.

impl Mul<Expr> for f64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Self::Output

Performs the * operation.

impl Mul<Expr> for i32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Self::Output

Performs the * operation.

impl Mul<Expr> for i64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: Expr) -> Self::Output

Performs the * operation.

impl<R: Operand> Mul<R> for &Expr

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation.

impl<R: Operand> Mul<R> for Expr

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation.

impl Neg for &Expr

type Output = ExprResult

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for Expr

type Output = ExprResult

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for &Expr

type Output = ExprResult

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Not for Expr

type Output = ExprResult

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl ObjectRefCore for Expr

type ContainerType = <ObjectArc<ExprObj> as Deref>::Target

fn data(this: &Self) -> &ObjectArc<Self::ContainerType>

fn into_data(this: Self) -> ObjectArc<Self::ContainerType>

unsafe fn from_data(data: ObjectArc<Self::ContainerType>) -> Self

Construct a reference view from an owning container handle.

fn same_as<Other>(&self, other: &Other) -> bool

where Other: ObjectRefCore,

Return whether two object references point to the same allocation.

fn downcast_ref<T>(&self) -> Option<&T>

where T: ObjectCore,

Borrow the underlying object as T when its runtime type is T or a subtype.

impl PrimOps for Expr

fn to_expr_result(&self) -> ExprResult

This expression as an ExprResult (a reference-count increment).

fn less(&self, rhs: impl Operand) -> ExprResult

C++ a < b (lt).

fn less_equal(&self, rhs: impl Operand) -> ExprResult

C++ a <= b (le).

fn greater(&self, rhs: impl Operand) -> ExprResult

C++ a > b (gt).

fn greater_equal(&self, rhs: impl Operand) -> ExprResult

C++ a >= b (ge).

fn equal(&self, rhs: impl Operand) -> ExprResult

C++ a == b (eq).

fn not_equal(&self, rhs: impl Operand) -> ExprResult

C++ a != b (ne).

fn logical_and(&self, rhs: impl IntoExpr) -> ExprResult

C++ a && b (logical_and).

fn logical_or(&self, rhs: impl IntoExpr) -> ExprResult

C++ a || b (logical_or).

fn div(&self, rhs: impl Operand) -> ExprResult

C++ div: a / b, truncating for integers.

fn truncdiv(&self, rhs: impl Operand) -> ExprResult

C++ truncdiv.

fn truncmod(&self, rhs: impl Operand) -> ExprResult

C++ truncmod.

fn floordiv(&self, rhs: impl Operand) -> ExprResult

C++ floordiv.

fn floormod(&self, rhs: impl Operand) -> ExprResult

C++ floormod.

fn indexdiv(&self, rhs: impl Operand) -> ExprResult

C++ indexdiv.

fn indexmod(&self, rhs: impl Operand) -> ExprResult

C++ indexmod.

fn ceildiv(&self, rhs: impl Operand) -> ExprResult

C++ ceildiv.

fn min(&self, rhs: impl Operand) -> ExprResult

C++ min.

fn max(&self, rhs: impl Operand) -> ExprResult

C++ max.

fn pow(&self, rhs: impl IntoExpr) -> ExprResult

C++ pow(a, b) (pow).

fn fmod(&self, rhs: impl IntoExpr) -> ExprResult

C++ fmod(a, b) (fmod).

fn atan2(&self, rhs: impl IntoExpr) -> ExprResult

C++ atan2(a, b) (atan2).

fn nextafter(&self, rhs: impl IntoExpr) -> ExprResult

C++ nextafter(a, b) (nextafter).

fn copysign(&self, rhs: impl IntoExpr) -> ExprResult

C++ copysign(a, b) (copysign).

fn hypot(&self, rhs: impl IntoExpr) -> ExprResult

C++ hypot(a, b) (hypot).

fn ldexp(&self, rhs: impl IntoExpr) -> ExprResult

C++ ldexp(a, b) (ldexp).

fn bitwise_not(&self) -> ExprResult

C++ ~a (bitwise_not).

fn floor(&self) -> ExprResult

C++ floor.

fn ceil(&self) -> ExprResult

C++ ceil.

fn round(&self) -> ExprResult

C++ round.

fn nearbyint(&self) -> ExprResult

C++ nearbyint.

fn trunc(&self) -> ExprResult

C++ trunc.

fn abs(&self) -> ExprResult

C++ abs.

fn isnan(&self) -> ExprResult

C++ isnan.

fn isinf(&self) -> ExprResult

C++ isinf.

fn isfinite(&self) -> ExprResult

C++ isfinite.

fn likely(&self) -> ExprResult

C++ likely.

fn assume(&self) -> ExprResult

C++ assume.

fn clz(&self) -> ExprResult

C++ clz.

fn exp(&self) -> ExprResult

C++ exp.

fn exp2(&self) -> ExprResult

C++ exp2.

fn exp10(&self) -> ExprResult

C++ exp10.

fn erf(&self) -> ExprResult

C++ erf.

fn sigmoid(&self) -> ExprResult

C++ sigmoid.

fn sqrt(&self) -> ExprResult

C++ sqrt.

fn rsqrt(&self) -> ExprResult

C++ rsqrt.

fn log(&self) -> ExprResult

C++ log.

fn log2(&self) -> ExprResult

C++ log2.

fn log10(&self) -> ExprResult

C++ log10.

fn log1p(&self) -> ExprResult

C++ log1p.

fn popcount(&self) -> ExprResult

C++ popcount.

fn tanh(&self) -> ExprResult

C++ tanh.

fn tan(&self) -> ExprResult

C++ tan.

fn cos(&self) -> ExprResult

C++ cos.

fn cosh(&self) -> ExprResult

C++ cosh.

fn sin(&self) -> ExprResult

C++ sin.

fn sinh(&self) -> ExprResult

C++ sinh.

fn asin(&self) -> ExprResult

C++ asin.

fn acos(&self) -> ExprResult

C++ acos.

fn atan(&self) -> ExprResult

C++ atan.

fn acosh(&self) -> ExprResult

C++ acosh.

fn asinh(&self) -> ExprResult

C++ asinh.

fn atanh(&self) -> ExprResult

C++ atanh.

fn cast(&self, ty: impl Into<PrimType>) -> ExprResult

C++ cast(a, t) (cast).

fn if_then_else(&self, t: impl IntoExpr, f: impl IntoExpr) -> ExprResult

C++ if_then_else(self, t, f) (if_then_else), with self the condition.

fn select(&self, t: impl IntoExpr, f: impl IntoExpr) -> ExprResult

The raw Select(self, t, f) (Select::new), with self the condition.

impl Shl<&Expr> for f32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &Expr) -> Self::Output

Performs the << operation.

impl Shl<&Expr> for f64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &Expr) -> Self::Output

Performs the << operation.

impl Shl<&Expr> for i32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &Expr) -> Self::Output

Performs the << operation.

impl Shl<&Expr> for i64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &Expr) -> Self::Output

Performs the << operation.

impl Shl<Expr> for f32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: Expr) -> Self::Output

Performs the << operation.

impl Shl<Expr> for f64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: Expr) -> Self::Output

Performs the << operation.

impl Shl<Expr> for i32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: Expr) -> Self::Output

Performs the << operation.

impl Shl<Expr> for i64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: Expr) -> Self::Output

Performs the << operation.

impl<R: Operand> Shl<R> for &Expr

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: R) -> Self::Output

Performs the << operation.

impl<R: Operand> Shl<R> for Expr

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: R) -> Self::Output

Performs the << operation.

impl Shr<&Expr> for f32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &Expr) -> Self::Output

Performs the >> operation.

impl Shr<&Expr> for f64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &Expr) -> Self::Output

Performs the >> operation.

impl Shr<&Expr> for i32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &Expr) -> Self::Output

Performs the >> operation.

impl Shr<&Expr> for i64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &Expr) -> Self::Output

Performs the >> operation.

impl Shr<Expr> for f32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: Expr) -> Self::Output

Performs the >> operation.

impl Shr<Expr> for f64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: Expr) -> Self::Output

Performs the >> operation.

impl Shr<Expr> for i32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: Expr) -> Self::Output

Performs the >> operation.

impl Shr<Expr> for i64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: Expr) -> Self::Output

Performs the >> operation.

impl<R: Operand> Shr<R> for &Expr

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: R) -> Self::Output

Performs the >> operation.

impl<R: Operand> Shr<R> for Expr

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: R) -> Self::Output

Performs the >> operation.

impl Sub<&Expr> for f32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &Expr) -> Self::Output

Performs the - operation.

impl Sub<&Expr> for f64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &Expr) -> Self::Output

Performs the - operation.

impl Sub<&Expr> for i32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &Expr) -> Self::Output

Performs the - operation.

impl Sub<&Expr> for i64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &Expr) -> Self::Output

Performs the - operation.

impl Sub<Expr> for f32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: Expr) -> Self::Output

Performs the - operation.

impl Sub<Expr> for f64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: Expr) -> Self::Output

Performs the - operation.

impl Sub<Expr> for i32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: Expr) -> Self::Output

Performs the - operation.

impl Sub<Expr> for i64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: Expr) -> Self::Output

Performs the - operation.

impl<R: Operand> Sub<R> for &Expr

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: R) -> Self::Output

Performs the - operation.

impl<R: Operand> Sub<R> for Expr

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: R) -> Self::Output

Performs the - operation.

impl TryFrom<&Expr> for IntExpr

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: &Expr) -> Result<Self>

Performs the conversion.

impl TryFrom<&Expr> for PrimExpr

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: &Expr) -> Result<Self>

Performs the conversion.

impl TryFrom<Any> for Expr

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Any) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a> TryFrom<AnyView<'a>> for Expr

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: AnyView<'a>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for IntExpr

The view of an expression whose type it accepts; a TypeError names any other.

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self>

Performs the conversion.

impl TryFrom<Expr> for PrimExpr

The view of an expression whose type it accepts; a TypeError names any other.

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self>

Performs the conversion.

impl TryFrom<ExprResult> for Expr

fn try_from(value: ExprResult) -> Result<Self>

The built expression, or the first error raised while constructing it.

type Error = Error

The type returned in the event of a conversion error.