Struct ezno_checker::types::functions::FunctionType

pub struct FunctionType {
    pub id: FunctionId,
    pub constant_function: Option<String>,
    pub behavior: FunctionBehavior,
    pub type_parameters: Option<GenericTypeParameters>,
    pub parameters: SynthesisedParameters,
    pub return_type: TypeId,
    pub effects: Vec<Event>,
    pub free_variables: HashMap<RootReference, TypeId>,
    pub closed_over_variables: HashMap<RootReference, TypeId>,
}

This is a mesh of annotation and actually defined functions

Fields

id: FunctionId

Syntax defined pointer

constant_function: Option<String>

behavior: FunctionBehavior

If async, generator and what to do with this

type_parameters: Option<GenericTypeParameters>

TODO not sure about this field and how it tails with Pi Types

parameters: SynthesisedParameters

return_type: TypeId

This is just aesthetic TODO also throw

effects: Vec<Event>

Side effects of the function

free_variables: HashMap<RootReference, TypeId>

Things that this function pulls in. Converse of closed over which is where results below use variables in this scope.

closed_over_variables: HashMap<RootReference, TypeId>

References it needs to retain for returning / other effects where things go out.

The type is the initial value of the closure variable when this is called

Trait Implementations

impl Clone for FunctionType

fn clone(&self) -> FunctionType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionType

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

Formats the value using the given formatter.