Trait ezno_checker::features::functions::SynthesisableFunction

pub trait SynthesisableFunction<A: ASTImplementation> {
    // Required methods
    fn get_name(&self) -> Option<&str>;
    fn get_position(&self) -> Span;
    fn has_body(&self) -> bool;
    fn type_parameters<T: ReadFromFS>(
        &self,
        environment: &mut Environment<'_>,
        checking_data: &mut CheckingData<'_, T, A>,
    ) -> Option<GenericTypeParameters>;
    fn this_constraint<T: ReadFromFS>(
        &self,
        environment: &mut Environment<'_>,
        checking_data: &mut CheckingData<'_, T, A>,
    ) -> Option<TypeId>;
    fn super_constraint<T: ReadFromFS>(
        &self,
        environment: &mut Environment<'_>,
        checking_data: &mut CheckingData<'_, T, A>,
    ) -> Option<TypeId>;
    fn parameters<T: ReadFromFS>(
        &self,
        environment: &mut Environment<'_>,
        checking_data: &mut CheckingData<'_, T, A>,
        expected_parameters: Option<&SynthesisedParameters>,
    ) -> SynthesisedParameters;
    fn return_type_annotation<T: ReadFromFS>(
        &self,
        environment: &mut Environment<'_>,
        checking_data: &mut CheckingData<'_, T, A>,
    ) -> Option<ReturnType>;
    fn body<T: ReadFromFS>(
        &self,
        environment: &mut Environment<'_>,
        checking_data: &mut CheckingData<'_, T, A>,
    );

    // Provided method
    fn id(&self, source_id: SourceId) -> FunctionId { ... }
}

Covers both actual functions and

Required Methods

fn get_name(&self) -> Option<&str>

For debugging only

fn get_position(&self) -> Span

For debugging only

fn has_body(&self) -> bool

fn type_parameters<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, A>, ) -> Option<GenericTypeParameters>

THIS FUNCTION IS EXPECTED TO PUT THE TYPE PARAMETERS INTO THE ENVIRONMENT WHILE SYNTHESISING THEM

fn this_constraint<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, A>, ) -> Option<TypeId>

fn super_constraint<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, A>, ) -> Option<TypeId>

For object literals

fn parameters<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, A>, expected_parameters: Option<&SynthesisedParameters>, ) -> SynthesisedParameters

THIS FUNCTION IS EXPECTED TO PUT THE PARAMETERS INTO THE ENVIRONMENT WHILE SYNTHESISING THEM

fn return_type_annotation<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, A>, ) -> Option<ReturnType>

fn body<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, A>, )

Returned type is extracted from events, thus doesn’t expect anything in return

Provided Methods

fn id(&self, source_id: SourceId) -> FunctionId

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<U: FunctionBased + 'static> SynthesisableFunction<EznoParser> for FunctionBase<U>

where U::Body: SynthesisableFunctionBody,

fn get_position(&self) -> Span

fn get_name(&self) -> Option<&str>

fn has_body(&self) -> bool

fn type_parameters<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, EznoParser>, ) -> Option<GenericTypeParameters>

fn this_constraint<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, EznoParser>, ) -> Option<TypeId>

fn super_constraint<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, EznoParser>, ) -> Option<TypeId>

fn parameters<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, EznoParser>, expected_parameters: Option<&SynthesisedParameters>, ) -> SynthesisedParameters

fn return_type_annotation<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, EznoParser>, ) -> Option<ReturnType>

fn body<T: ReadFromFS>( &self, environment: &mut Environment<'_>, checking_data: &mut CheckingData<'_, T, EznoParser>, )

Implementors