Struct Alias 

pub struct Alias { /* private fields */ }

Alias contract for one operation output.

Implementations

impl Alias

pub const fn fresh(output: usize) -> Self

Declare a semantically fresh output.

pub const fn view_of(output: usize, input: usize) -> Self

Declare an output view of an input.

pub const fn must_alias(output: usize, input: usize) -> Self

Require an output to alias an input.

pub const fn external(output: usize, resource: EffectResource) -> Self

Declare an alias of an external typed resource.

pub const fn kind(self) -> AliasKind

Return the alias class.

pub const fn output(self) -> usize

Return the operation-local output index.

pub const fn input(self) -> Option<usize>

Return the aliased input index, when applicable.

pub const fn resource(self) -> Option<EffectResource>

Return the external resource, when applicable.

Trait Implementations

impl Clone for Alias

fn clone(&self) -> Alias

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Alias

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

Formats the value using the given formatter.

impl Hash for Alias

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 PartialEq for Alias

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

impl Eq for Alias

impl StructuralPartialEq for Alias