Enum tvix_eval::compiler::TrackedFormal

source ·
enum TrackedFormal {
    NoDefault {
        local_idx: LocalIdx,
        pattern_entry: PatEntry,
    },
    WithDefault {
        local_idx: LocalIdx,
        finalise_request_idx: LocalIdx,
        default_expr: Expr,
        pattern_entry: PatEntry,
    },
}
Expand description

When compiling functions with an argument attribute set destructuring pattern, we need to do multiple passes over the declared formal arguments when setting up their local bindings (similarly to let … in expressions and recursive attribute sets. For this purpose, this struct is used to represent the two kinds of formal arguments:

  • TrackedFormal::NoDefault is always required and causes an evaluation error if the corresponding attribute is missing in a function call.
  • TrackedFormal::WithDefault may be missing in the passed attribute set— in which case a default_expr will be evaluated and placed in the formal argument’s local variable slot.

Variants§

§

NoDefault

Fields

§local_idx: LocalIdx
§pattern_entry: PatEntry
§

WithDefault

Fields

§local_idx: LocalIdx
§finalise_request_idx: LocalIdx

Extra phantom local used for coordinating runtime dispatching not observable to the language user. Detailed description in compile_param_pattern().

§default_expr: Expr
§pattern_entry: PatEntry

Implementations§

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V