Enum TketOp

#[non_exhaustive]
pub enum TketOp {
    H,
    CX,
    CY,
    CZ,
    CRz,
    T,
    Tdg,
    S,
    Sdg,
    X,
    Y,
    Z,
    Rx,
    Ry,
    Rz,
    Toffoli,
    Measure,
    MeasureFree,
    QAlloc,
    TryQAlloc,
    QFree,
    Reset,
    V,
    Vdg,
}

Simple enum of tket quantum operations.

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.

H

CX

CY

CZ

CRz

T

Tdg

S

Sdg

X

Y

Z

Rx

Ry

Rz

Toffoli

Measure

MeasureFree

QAlloc

TryQAlloc

QFree

Reset

V

Vdg

Implementations

impl TketOp

pub fn exposed_name(&self) -> SmolStr

Expose the operation names directly in TketOp

pub fn into_extension_op(self) -> ExtensionOp

Wraps the operation in an ExtensionOp

impl TketOp

pub fn is_quantum(&self) -> bool

Check if this op is a quantum op.

Trait Implementations

impl Clone for TketOp

fn clone(&self) -> TketOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TketOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TketOp

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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

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

Converts to this type from the input type.

impl From<TketOp> for &'static str

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

Converts to this type from the input type.

impl FromStr for TketOp

type Err = ParseError

The associated error which can be returned from parsing.

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

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

impl Hash for TketOp

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 TketOp

type Iterator = TketOpIter

fn iter() -> TketOpIter

impl MakeOpDef for TketOp

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 extension(&self) -> ExtensionId

The ID of the extension this operation is defined in.

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

Edit the opdef before finalising. By default does nothing.

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

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

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

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

fn signature(&self) -> SignatureFunc

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

fn description(&self) -> String

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

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 MakeRegisteredOp for TketOp

fn extension_id(&self) -> ExtensionId

The ID of the extension this op belongs to.

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

A reference to the Extension which defines this operation.

fn to_extension_op(self) -> Option<ExtensionOp>

where Self: Sized,

Convert this operation in to an ExtensionOp. Returns None if the type cannot be computed.

impl Ord for TketOp

fn cmp(&self, other: &TketOp) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for TketOp

fn eq(&self, other: &TketOp) -> 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 PartialOrd for TketOp

fn partial_cmp(&self, other: &TketOp) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for TketOp

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<&str> for TketOp

type Error = ParseError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Copy for TketOp

impl Eq for TketOp

impl StructuralPartialEq for TketOp