Trait hugr_core::extension::simple_op::HasConcrete

source · 
pub trait HasConcrete: MakeOpDef {
    type Concrete: MakeExtensionOp;

    // Required method
    fn instantiate(
        &self,
        type_args: &[TypeArg],
    ) -> Result<Self::Concrete, OpLoadError>;
}
Expand description

MakeOpDef with an associate concrete Op type which can be instantiated with type arguments.

Required Associated Types§

source

type Concrete: MakeExtensionOp

Associated concrete type.

Required Methods§

source

fn instantiate( &self, type_args: &[TypeArg], ) -> Result<Self::Concrete, OpLoadError>

Instantiate the operation with type arguments.

Implementors§