scheme_rs::eval

Trait Eval

Source 
pub trait Eval:
    Trace
    + Send
    + Sync
    + 'static {
    // Provided methods
    fn eval<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        env: &'life1 Env,
        cont: &'life2 Option<Arc<Continuation>>,
    ) -> Pin<Box<dyn Future<Output = Result<Vec<Gc<Value>>, RuntimeError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait { ... }
    fn tail_eval<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        env: &'life1 Env,
        cont: &'life2 Option<Arc<Continuation>>,
    ) -> Pin<Box<dyn Future<Output = Result<ValuesOrPreparedCall, RuntimeError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait { ... }
}
Expand description

Core evaulation trait for expressions.

Any struct implementing this trait must either implement eval, tail_eval, or both, even though both methods are provided.

Provided Methods§

Source

fn eval<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, env: &'life1 Env, cont: &'life2 Option<Arc<Continuation>>, ) -> Pin<Box<dyn Future<Output = Result<Vec<Gc<Value>>, RuntimeError>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source

fn tail_eval<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, env: &'life1 Env, cont: &'life2 Option<Arc<Continuation>>, ) -> Pin<Box<dyn Future<Output = Result<ValuesOrPreparedCall, RuntimeError>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Evaluate the expression in a tail environment

Implementations on Foreign Types§

Source§

impl Eval for Vec<Gc<Value>>

Source§

fn eval<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, _env: &'life1 Env, _cont: &'life2 Option<Arc<Continuation>>, ) -> Pin<Box<dyn Future<Output = Result<Vec<Gc<Value>>, RuntimeError>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Implementors§