Trait CanonicalizeInterface 

pub trait CanonicalizeInterface: Op {
    // Required method
    fn canonicalize(
        &self,
        ctx: &mut Context,
        rewriter: &mut MatchRewriter,
    ) -> Result<()>;

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

Required Methods

fn canonicalize( &self, ctx: &mut Context, rewriter: &mut MatchRewriter, ) -> Result<()>

Provided Methods

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

where Self: Sized,

Trait Implementations

impl OpInterfaceMarker for dyn CanonicalizeInterface

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl CanonicalizeInterface for ForOp

impl CanonicalizeInterface for cubecl_ir::dialect::branch::IfOp

impl CanonicalizeInterface for cubecl_ir::dialect::scf::IfOp

impl CanonicalizeInterface for cubecl_ir::dialect::branch::SwitchOp

impl CanonicalizeInterface for cubecl_ir::dialect::scf::SwitchOp

impl CanonicalizeInterface for WhileOp