MakeRegisteredOp

hugr_core::extension::simple_op

Trait MakeRegisteredOp 

Source 
pub trait MakeRegisteredOp: MakeExtensionOp {
    // Required methods
    fn extension_id(&self) -> ExtensionId;
    fn extension_ref(&self) -> Weak<Extension>;

    // Provided method
    fn to_extension_op(self) -> Option<ExtensionOp>
       where Self: Sized { ... }
}
Expand description

Trait for operations that can self report the extension ID they belong to and the registry required to compute their types. Allows conversion to ExtensionOp

Required Methods§

Source

fn extension_id(&self) -> ExtensionId

The ID of the extension this op belongs to.

Source

fn extension_ref(&self) -> Weak<Extension>

A reference to the Extension which defines this operation.

Provided Methods§

Source

fn to_extension_op(self) -> Option<ExtensionOp>
where Self: Sized,

Convert this operation in to an ExtensionOp. Returns None if the type cannot be computed.

Implementors§