Struct PrimExpr

pub struct PrimExpr { /* private fields */ }

An expression typed by a PrimType (C++ PrimExpr): a constant, a variable, an operator on scalars or vectors, or a call that returns one.

PrimExpr and IntExpr are typed views (C++ TypedExpr). A view holds an ir.Expr as Expr does, and adds what the object class does not say: the type of the expression. An ir.Call is a PrimExpr when its ty is a PrimType, and an IntExpr when that type is a scalar integer. The views are checked when they are made, so a function that takes one needs no check of its own:

• A view converts into the views and the Expr it refines for free (From): an IntExpr into a PrimExpr and both into an Expr. Borrowed, an IntExpr is a PrimExpr through AsRef, and both views read their object through Deref, as an Expr does.
• An Expr converts into a view only through a check (TryFrom, ObjectRefCast::try_cast), as an Any does. A failed check names the expression and its type, ir.StringImm[ty=ir.StringType].
• IntImm, FloatImm and TensorLoad are typed by a PrimType when they are made, so they convert into a PrimExpr for free. Rust literals convert as they convert into an Expr: an i32 and an f32 as C++ PrimExpr(int32_t) and PrimExpr(float) convert them.
• The operators build a PrimExpr: each step of an ExprResult is checked, so PrimExpr::try_from(a + b)? reports only the errors of the operators.
• The view holds its object privately and gives it out only to read, so its type cannot be changed; the one way past the check is the unsafe ObjectRefCore::from_data.

fn widen(expr: Expr) -> PrimExpr {
    expr // An `Expr` is not a `PrimExpr` until it is checked.
}

fn narrow(expr: PrimExpr) -> IntExpr {
    expr.into() // Nor is a `PrimExpr` an `IntExpr`.
}

Implementations

impl PrimExpr

pub fn as_expr(&self) -> &Expr

This expression as an Expr, borrowed.

pub fn ty(&self) -> PrimType

The type of this expression (C++ PrimExpr::ty()), which the view guarantees.

pub fn dtype(&self) -> DLDataType

The dtype of this expression’s type.

Trait Implementations

impl Add<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl AnyCompatible for PrimExpr

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

fn get_mismatch_type_info(data: &TVMFFIAny) -> String

Get the type key of a type when TryCastFromAnyView fails.

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

the value to copy to TVMFFIAny

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

consume the value to move to Any

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_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 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 PrimExpr

type Target = PrimExpr

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

impl ArgIntoRef for PrimExpr

type Target = PrimExpr

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

impl AsRef<PrimExpr> for IntExpr

An IntExpr borrowed as the PrimExpr it is, as C++ IntExpr derives from PrimExpr.

fn as_ref(&self) -> &PrimExpr

Converts this type into a shared reference of the (usually inferred) input type.

impl BitAnd<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAnd<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitOr<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOr<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitXor<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXor<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl Clone for PrimExpr

fn clone(&self) -> PrimExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Deref for PrimExpr

The expression object, to read, as Expr dereferences to it.

type Target = ExprObj

The resulting type after dereferencing.

fn deref(&self) -> &ExprObj

Dereferences the value.

impl From<&FloatImm> for PrimExpr

fn from(value: &FloatImm) -> Self

Converts to this type from the input type.

impl From<&IntExpr> for PrimExpr

fn from(value: &IntExpr) -> Self

Converts to this type from the input type.

impl From<&IntImm> for PrimExpr

fn from(value: &IntImm) -> 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<&PrimExpr> for ExprResult

fn from(value: &PrimExpr) -> Self

Converts to this type from the input type.

impl From<&PrimExpr> for PrimExpr

fn from(value: &PrimExpr) -> Self

Converts to this type from the input type.

impl From<&TensorLoad> for PrimExpr

fn from(value: &TensorLoad) -> Self

Converts to this type from the input type.

impl From<FloatImm> for PrimExpr

fn from(value: FloatImm) -> Self

Converts to this type from the input type.

impl From<IntExpr> for PrimExpr

fn from(value: IntExpr) -> Self

Converts to this type from the input type.

impl From<IntImm> for PrimExpr

fn from(value: IntImm) -> 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<PrimExpr> for ExprResult

fn from(value: PrimExpr) -> Self

Converts to this type from the input type.

impl From<TensorLoad> for PrimExpr

fn from(value: TensorLoad) -> Self

Converts to this type from the input type.

impl From<bool> for PrimExpr

A bool is a boolean constant, as C++ converts a bool held by an Any. (C++ promotes a bool argument to PrimExpr(int32_t), an int32 constant.)

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<f32> for PrimExpr

An f32 is a float32 constant (C++ PrimExpr(float)).

fn from(value: f32) -> Self

Converts to this type from the input type.

impl From<f64> for PrimExpr

An f64 is a float64 constant, as C++ types a double next to an expression. (C++ converts a double held by an Any to float32.)

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i32> for PrimExpr

An i32 is an int32 constant (C++ PrimExpr(int32_t)).

fn from(value: i32) -> Self

Converts to this type from the input type.

impl From<i64> for PrimExpr

An i64 is an int64 constant. (C++ converts an int64_t held by an Any to int32 when the value fits.)

fn from(value: i64) -> Self

Converts to this type from the input type.

impl<'a> IntoArgHolder for &'a PrimExpr

type Target = &'a PrimExpr

fn into_arg_holder(self) -> Self::Target

impl IntoArgHolder for PrimExpr

type Target = PrimExpr

fn into_arg_holder(self) -> Self::Target

impl Mul<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the * operator.

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

Performs the * operation.

impl Neg for &PrimExpr

type Output = ExprResult

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for PrimExpr

type Output = ExprResult

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for &PrimExpr

type Output = ExprResult

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Not for PrimExpr

type Output = ExprResult

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl ObjectRefCore for PrimExpr

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

The view of data.

Safety

The type of data is one the view accepts.

type ContainerType = ExprObj

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

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

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 PrimExpr

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<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shr<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Sub<&PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<&PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<&PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<&PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<PrimExpr> for f32

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<PrimExpr> for f64

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<PrimExpr> for i32

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<PrimExpr> for i64

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

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

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 PrimExpr

type Output = ExprResult

The resulting type after applying the - operator.

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

Performs the - operation.

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<&PrimExpr> for IntExpr

type Error = Error

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Any> for PrimExpr

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 PrimExpr

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 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 PrimExpr

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

The built expression, which every step checks is a PrimExpr, or the first error raised while building it.

type Error = Error

The type returned in the event of a conversion error.

impl TryFrom<PrimExpr> for IntExpr

type Error = Error

The type returned in the event of a conversion error.

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

Performs the conversion.