Skip to main content

ExpressionCanonicalize

Trait ExpressionCanonicalize 

Source
pub trait ExpressionCanonicalize: Op + OneResultInterface {
    // Required method
    fn canonical_expression(
        &self,
        ctx: &Context,
        operands: Vec<ExpressionValue>,
    ) -> Expression;

    // Provided method
    fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
       where Self: Sized { ... }
}

Required Methods§

Provided Methods§

Source

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
where Self: Sized,

Trait Implementations§

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§

Source§

impl ExpressionCanonicalize for BitwiseAndOp

Source§

impl ExpressionCanonicalize for BitwiseOrOp

Source§

impl ExpressionCanonicalize for BitwiseXorOp

Source§

impl ExpressionCanonicalize for BoolAndOp

Source§

impl ExpressionCanonicalize for BoolEqualOp

Source§

impl ExpressionCanonicalize for BoolNotEqualOp

Source§

impl ExpressionCanonicalize for BoolOrOp

Source§

impl ExpressionCanonicalize for Dp4aOp

Source§

impl ExpressionCanonicalize for FAddOp

Source§

impl ExpressionCanonicalize for FEqualOp

Source§

impl ExpressionCanonicalize for FGreaterThanOp

Source§

impl ExpressionCanonicalize for FGreaterThanOrEqualOp

Source§

impl ExpressionCanonicalize for FMaxOp

Source§

impl ExpressionCanonicalize for FMinOp

Source§

impl ExpressionCanonicalize for FMulOp

Source§

impl ExpressionCanonicalize for FNotEqualOp

Source§

impl ExpressionCanonicalize for FmaOp

Source§

impl ExpressionCanonicalize for HypotOp

Source§

impl ExpressionCanonicalize for IAddOp

Source§

impl ExpressionCanonicalize for IEqualOp

Source§

impl ExpressionCanonicalize for IMulOp

Source§

impl ExpressionCanonicalize for INotEqualOp

Source§

impl ExpressionCanonicalize for RhypotOp

Source§

impl ExpressionCanonicalize for SGreaterThanOp

Source§

impl ExpressionCanonicalize for SGreaterThanOrEqualOp

Source§

impl ExpressionCanonicalize for SMaxOp

Source§

impl ExpressionCanonicalize for SMinOp

Source§

impl ExpressionCanonicalize for SMulHiOp

Source§

impl ExpressionCanonicalize for SaturatingSAddOp

Source§

impl ExpressionCanonicalize for SaturatingUAddOp

Source§

impl ExpressionCanonicalize for UGreaterThanOp

Source§

impl ExpressionCanonicalize for UGreaterThanOrEqualOp

Source§

impl ExpressionCanonicalize for UMaxOp

Source§

impl ExpressionCanonicalize for UMinOp

Source§

impl ExpressionCanonicalize for UMulHiOp