Trait hugr_core::extension::simple_op::HasDef

pub trait HasDef: MakeExtensionOp {
    type Def: HasConcrete<Concrete = Self> + FromStr;

    // Provided method
    fn from_op(custom_op: &CustomOp) -> Result<Self, OpLoadError>
       where Self: Sized { ... }
}

MakeExtensionOp with an associated HasConcrete.

Required Associated Types

type Def: HasConcrete<Concrete = Self> + FromStr

Associated HasConcrete type.

Provided Methods

fn from_op(custom_op: &CustomOp) -> Result<Self, OpLoadError>

where Self: Sized,

Load the operation from a CustomOp.

Implementors

impl HasDef for ConcreteIntOp

type Def = IntOpDef

impl HasDef for ConcreteLogicOp

type Def = NaryLogic

impl HasDef for PtrOp

type Def = PtrOpDef