Enum PirContext 

#[non_exhaustive]
pub enum PirContext {
    Scalar,
    List,
    Void,
    Lvalue,
    Unknown,
}

Expression context modeled by PIR v0.

Unknown context is allowed when the compiler substrate cannot prove context without executing Perl. Unknown context is visible in receipts and is never silently promoted to scalar or list.

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.

Scalar

Scalar context.

List

List context.

Void

Void context.

Lvalue

Lvalue (assignment-target) context.

Unknown

Context that cannot be proven statically.

Implementations

impl PirContext

pub const fn name(self) -> &'static str

Stable name used in receipts and snapshots.

Trait Implementations

impl Clone for PirContext

fn clone(&self) -> PirContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PirContext

impl Debug for PirContext

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

Formats the value using the given formatter.

impl Eq for PirContext

impl Hash for PirContext

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 PirContext

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