Struct FnValue 

pub struct FnValue {
    pub sig: Option<(Box<[DataType]>, DataType)>,
    pub candidates: Box<[u16]>,
    pub set: Option<u32>,
}

What a fn(...) type says about the functions that may reach it.

Fields

sig: Option<(Box<[DataType]>, DataType)>

Parameter types and return type, from a fn(A, B) -> R annotation. None where the type came from the functions written into the position instead, and the first call through it settles the types.

candidates: Box<[u16]>

The functions the compiler watched reach this position, in the order it saw them. A call through the value compiles each one at the call’s argument types. Empty for a declared type, where the annotation already says what to compile against.

set: Option<u32>

The set of functions a variable of this type may hold, by its index in the compiler’s table of such sets. A variable grows its set as the code writes more functions into it, and a closure that captured the variable reads the set rather than the copy it took, so a function written in after the closure still reaches it. None for a position whose candidates are settled where it is built, such as a list literal.

Implementations

impl FnValue

pub fn inferred(candidates: Box<[u16]>) -> Self

The type of a position that holds one of candidates and takes its argument types from the call.

pub fn from_set(set: u32) -> Self

The type of a variable whose functions are collected in set.

Trait Implementations

impl Clone for FnValue

fn clone(&self) -> FnValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FnValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FnValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for FnValue

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

Formats the value using the given formatter.

impl Serialize for FnValue

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.