Struct LambdaSlot 

pub struct LambdaSlot {
    pub owner: String,
    pub member: String,
    pub arg_count: usize,
    pub arg_index: usize,
    pub arity: usize,
    pub index: usize,
}

One untyped lambda parameter’s callee slot.

The name’s type is the delegate parameter of the invocation the lambda sits inside as an argument – a lookup only the resolver can do (it has to look up the callee’s own delegate-typed parameter at arg_index and read ITS index-th parameter type). owner/member name the callee like a call fact’s type_name/call do; arg_count/arg_index locate the lambda among the callee’s arguments; arity/index locate this parameter inside the lambda itself.

Fields

owner: String

The type-name text the callee is invoked on: the identifier’s in-file fact type, the identifier itself when the name is not taken (a static class), or the innermost enclosing type for this.M(...) / bare M(...).

member: String

The callee method name.

arg_count: usize

The argument count of the callee invocation.

arg_index: usize

The position of the lambda among the callee invocation’s arguments.

arity: usize

The lambda’s own parameter count.

index: usize

This parameter’s position inside the lambda’s parameter list.

Trait Implementations

impl Clone for LambdaSlot

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LambdaSlot

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

Formats the value using the given formatter.

impl Eq for LambdaSlot

impl PartialEq for LambdaSlot

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LambdaSlot