Module hugr_core::extension::simple_op

A trait that enum for op definitions that gathers up some shared functionality.

Structs

• RegisteredOp
  Wrap an MakeExtensionOp with an extension registry to allow type computation. Generate from MakeExtensionOp::to_registered

Enums

• OpLoadError
  Error loading operation.

Traits

• HasConcrete
  MakeOpDef with an associate concrete Op type which can be instantiated with type arguments.
• HasDef
  MakeExtensionOp with an associated HasConcrete.
• MakeExtensionOp
  Traits implemented by types which can be loaded from ExtensionOps, i.e. concrete instances of OpDefs, with defined type arguments.
• MakeOpDef
  Traits implemented by types which can add themselves to Extensions as OpDefs or load themselves from an OpDef. Particularly useful with C-style enums that implement strum::IntoEnumIterator, as then all definitions can be added to an extension at once.
• MakeRegisteredOp
  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

Functions

• try_from_name
  Load an MakeOpDef from its name. See strum_macros::EnumString.