Struct programinduction::lambda::LiftedFunction

pub struct LiftedFunction<V: Clone + PartialEq + Send + Sync, E: Evaluator<Space = V>>(_, _, _);

A function object for evaluation in domains with first-class functions.

The eval method evaluates the function. See Evaluator for more on its usage.

Methods

impl<V, E> LiftedFunction<V, E> where     E: Evaluator<Space = V>,     V: Clone + PartialEq + Send + Sync,

pub fn eval(&self, xs: &[V]) -> Result<V, E::Error>

Evaluate the lifted function on some values. You should determine how many values can be passed in based on the types of the Language specification.

Trait Implementations

impl<V, E> Clone for LiftedFunction<V, E> where     E: Evaluator<Space = V>,     V: Clone + PartialEq + Send + Sync,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V, E> PartialEq for LiftedFunction<V, E> where     E: Evaluator<Space = V>,     V: Clone + PartialEq + Send + Sync,

fn eq(&self, other: &LiftedFunction<V, E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl<V, E> Eq for LiftedFunction<V, E> where     E: Evaluator<Space = V>,     V: Clone + PartialEq + Send + Sync,