pub struct AliasOpDescriptor {
pub inputs: Vec<DataType>,
pub output: DataType,
pub description: &'static str,
pub commutative: bool,
pub side_effects: bool,
}Expand description
Descriptor for an alias-analysis extension op.
Fields§
§inputs: Vec<DataType>Operand types accepted by the op.
output: DataTypeResult type produced by the op.
description: &'static strHuman-readable operation contract.
commutative: boolTrue when argument order does not affect the result.
side_effects: boolTrue when the op updates the alias data structure.
Implementations§
Source§impl AliasOpDescriptor
impl AliasOpDescriptor
Sourcepub fn alias_union() -> Self
pub fn alias_union() -> Self
Build the lock-free alias-union descriptor.
Trait Implementations§
Source§impl Clone for AliasOpDescriptor
impl Clone for AliasOpDescriptor
Source§fn clone(&self) -> AliasOpDescriptor
fn clone(&self) -> AliasOpDescriptor
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for AliasOpDescriptor
impl Debug for AliasOpDescriptor
impl Eq for AliasOpDescriptor
Source§impl PartialEq for AliasOpDescriptor
impl PartialEq for AliasOpDescriptor
impl StructuralPartialEq for AliasOpDescriptor
Auto Trait Implementations§
impl Freeze for AliasOpDescriptor
impl RefUnwindSafe for AliasOpDescriptor
impl Send for AliasOpDescriptor
impl Sync for AliasOpDescriptor
impl Unpin for AliasOpDescriptor
impl UnsafeUnpin for AliasOpDescriptor
impl UnwindSafe for AliasOpDescriptor
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.