Module 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.

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.