Struct programinduction::lambda::LiftedFunction [−][src]
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,
[src]
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>
[src]
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,
[src]
impl<V, E> Clone for LiftedFunction<V, E> where
E: Evaluator<Space = V>,
V: Clone + PartialEq + Send + Sync,
fn clone(&self) -> Self
[src]
fn clone(&self) -> Self
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl<V, E> PartialEq for LiftedFunction<V, E> where
E: Evaluator<Space = V>,
V: Clone + PartialEq + Send + Sync,
[src]
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
[src]
fn eq(&self, other: &LiftedFunction<V, E>) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
fn ne(&self, other: &Rhs) -> bool
1.0.0
[src]This method tests for !=
.
impl<V, E> Eq for LiftedFunction<V, E> where
E: Evaluator<Space = V>,
V: Clone + PartialEq + Send + Sync,
[src]
impl<V, E> Eq for LiftedFunction<V, E> where
E: Evaluator<Space = V>,
V: Clone + PartialEq + Send + Sync,
Auto Trait Implementations
impl<V, E> Send for LiftedFunction<V, E> where
E: Send,
impl<V, E> Send for LiftedFunction<V, E> where
E: Send,
impl<V, E> Sync for LiftedFunction<V, E> where
E: Send,
impl<V, E> Sync for LiftedFunction<V, E> where
E: Send,