Function programinduction::lambda::task_by_lazy_evaluation

source ·

pub fn task_by_lazy_evaluation<E, V>(
    evaluator: E,
    tp: TypeScheme,
    examples: impl AsRef<[(Vec<V>, V)]> + Sync
) -> impl Task<[(Vec<V>, V)], Representation = Language, Expression = Expression>where
    E: LazyEvaluator<Space = V> + Send,
    V: PartialEq + Clone + Send + Sync,

Expand description

Like task_by_evaluation, but for use with a LazyEvaluator.