Enum TupleOpDef

#[non_exhaustive]
pub enum TupleOpDef {
    MakeTuple,
    UnpackTuple,
}

Logic extension operation definitions.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

MakeTuple

UnpackTuple

Trait Implementations

impl Clone for TupleOpDef

fn clone(&self) -> TupleOpDef

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ConstFold for TupleOpDef

fn fold( &self, _type_args: &[TypeArg], consts: &[(IncomingPort, Value)], ) -> ConstFoldResult

Given type arguments type_args and crate::ops::Const values for inputs at crate::IncomingPorts, try to evaluate the operation.

impl Debug for TupleOpDef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'_derivative_strum> From<&'_derivative_strum TupleOpDef> for &'static str

fn from(x: &'_derivative_strum TupleOpDef) -> &'static str

Converts to this type from the input type.

impl From<TupleOpDef> for &'static str

fn from(x: TupleOpDef) -> &'static str

Converts to this type from the input type.

impl FromStr for TupleOpDef

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<TupleOpDef, <Self as FromStr>::Err>

Parses a string s to return a value of this type.

impl Hash for TupleOpDef

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntoEnumIterator for TupleOpDef

type Iterator = TupleOpDefIter

fn iter() -> TupleOpDefIter

impl MakeOpDef for TupleOpDef

fn opdef_id(&self) -> OpName

The OpDef::name which will be used when Self is added to an Extension or when Self is loaded from an OpDef.

fn init_signature(&self, _extension_ref: &Weak<Extension>) -> SignatureFunc

Compute the signature of the operation while the extension definition is being built.

fn description(&self) -> String

Description of the operation. By default, the same as self.opdef_id().

fn from_def(op_def: &OpDef) -> Result<Self, OpLoadError>

Try to load one of the operations of this set from an OpDef.

fn extension(&self) -> ExtensionId

The ID of the extension this operation is defined in.

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

Returns a weak reference to the extension this operation is defined in.

fn post_opdef(&self, def: &mut OpDef)

Edit the opdef before finalising. By default does nothing.

fn signature(&self) -> SignatureFunc

Return the signature (polymorphic function type) of the operation.

fn add_to_extension( &self, extension: &mut Extension, extension_ref: &Weak<Extension>, ) -> Result<(), ExtensionBuildError>

Add an operation implemented as an MakeOpDef, which can provide the data required to define an OpDef, to an extension.

fn load_all_ops( extension: &mut Extension, extension_ref: &Weak<Extension>, ) -> Result<(), ExtensionBuildError>

where Self: IntoEnumIterator,

Load all variants of an enum of op definitions in to an extension as op defs. See strum::IntoEnumIterator.

fn from_op(ext_op: &ExtensionOp) -> Result<Self, OpLoadError>

where Self: Sized + FromStr,

If the definition can be loaded from a string, load from an ExtensionOp.

impl PartialEq for TupleOpDef

fn eq(&self, other: &TupleOpDef) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<&str> for TupleOpDef

type Error = ParseError

The type returned in the event of a conversion error.

fn try_from(s: &str) -> Result<TupleOpDef, <Self as TryFrom<&str>>::Error>

Performs the conversion.

impl Copy for TupleOpDef

impl Eq for TupleOpDef

impl StructuralPartialEq for TupleOpDef