Struct ComposeImpl 

pub struct ComposeImpl { /* private fields */ }

Implementation of a “function composition” FuncImpl

Implementations

impl ComposeImpl

pub fn new( type_info_directory: &TypeInfoDirectory, in_type: TypeId, middle_type: TypeId, ret_type: TypeId, ) -> ComposeImpl

Given a TypeInfoDirectory, the input type, a middle type, and a return type, yields a ComposeImpl of type (in -> middle) -> (middle -> return) -> (in -> return).

Trait Implementations

impl Clone for ComposeImpl

fn clone(&self) -> ComposeImpl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl FuncImpl for ComposeImpl

fn evaluate( &self, state: &mut InterpreterState<'_>, args: Vec<TermReference>, ) -> (TermReference, NewlyEvaluatedTerms)

Given a handle on the current InterpreterState (primarily useful if additional terms need to be evaluated / looked up) and the collection of TermReference arguments to apply this function implementation to, yields a TermReference to the result, along with a collection of any NewlyEvaluatedTerms which may have arisen as part of the implementation of this method. See func_impl.rs in the source for sample implementations.

impl HasFuncSignature for ComposeImpl

fn get_name(&self) -> String

Gets the name for the implemented function.

fn required_arg_types(&self) -> Vec<TypeId>

Gets the list of required argument types for the implemented function.

fn ret_type(&self) -> TypeId

Gets the return type for the implemented function.

fn ready_to_evaluate(&self, args: &Vec<TermReference>) -> bool

Given a collection of TermReferences, determines whether we have sufficiently-many arguments to fully evaluate this function.

fn func_type(&self, type_info_directory: &TypeInfoDirectory) -> TypeId

Given a TypeInfoDirectory, obtains the TypeId which corresponds to the type of this implemented function.