Struct OpDef 

pub struct OpDef {
    pub id: &'static str,
    pub dialect: &'static str,
    pub category: Category,
    pub signature: Signature,
    pub lowerings: LoweringTable,
    pub laws: &'static [AlgebraicLaw],
    pub compose: Option<fn() -> Program>,
}

Frozen operation definition.

Fields

id: &'static str

Stable operation id.

dialect: &'static str

Stable dialect namespace.

category: Category

Operation category.

signature: Signature

Operation signature.

lowerings: LoweringTable

Backend lowering entries.

laws: &'static [AlgebraicLaw]

Algebraic laws declared for conformance.

compose: Option<fn() -> Program>

Composition-inlinable program builder.

Implementations

impl OpDef

pub const fn id(&self) -> &'static str

Stable operation id.

pub fn program(&self) -> Option<Program>

Build the canonical composition program when the operation has one.

Trait Implementations

impl Clone for OpDef

fn clone(&self) -> OpDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OpDef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for OpDef

fn default() -> Self

Returns the “default value” for a type.