Enum ArrayOpDef

#[non_exhaustive]
pub enum ArrayOpDef {
    new_array,
    get,
    set,
    swap,
    pop_left,
    pop_right,
    discard_empty,
}

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

new_array

get

set

swap

pop_left

pop_right

discard_empty

Implementations

impl ArrayOpDef

pub fn to_concrete(self, elem_ty: Type, size: u64) -> ArrayOp

Instantiate a new array operation with the given element type and array size.

Trait Implementations

impl Clone for ArrayOpDef

fn clone(&self) -> ArrayOpDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ArrayOpDef

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

Formats the value using the given formatter.

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

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

Converts to this type from the input type.

impl From<ArrayOpDef> for &'static str

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

Converts to this type from the input type.

impl FromStr for ArrayOpDef

type Err = ParseError

The associated error which can be returned from parsing.

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

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

impl HasConcrete for ArrayOpDef

type Concrete = ArrayOp

Associated concrete type.

fn instantiate( &self, type_args: &[TypeArg], ) -> Result<Self::Concrete, OpLoadError>

Instantiate the operation with type arguments.

impl Hash for ArrayOpDef

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 ArrayOpDef

type Iterator = ArrayOpDefIter

fn iter() -> ArrayOpDefIter

impl MakeOpDef for ArrayOpDef

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

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

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

where Self: Sized,

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

fn signature(&self) -> SignatureFunc

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

fn extension(&self) -> ExtensionId

The ID of the extension this operation is defined in.

fn description(&self) -> String

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

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

Edit the opdef before finalising. By default does nothing.

fn load_all_ops(extension: &mut 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 ArrayOpDef

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

fn compute_signature( &self, arg_values: &[TypeArg], ) -> Result<PolyFuncTypeRV, SignatureError>

Compute signature of node given values for the type parameters.

fn static_params(&self) -> &[TypeParam]

The declared type parameters which require values in order for signature to be computed.

impl TryFrom<&str> for ArrayOpDef

type Error = ParseError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Copy for ArrayOpDef

impl Eq for ArrayOpDef

impl StructuralPartialEq for ArrayOpDef