scheme_rs::compile

Trait Compile

Source 
pub trait Compile:
    Eval
    + Sized
    + 'static
where
    CompileError: From<Self::Error>,
{
    type Error;

    // Required method
    fn compile<'life0, 'life1, 'life2, 'life3, 'async_trait>(
        exprs: &'life0 [Syntax],
        env: &'life1 Env,
        cont: &'life2 Option<Arc<Continuation>>,
        span: &'life3 Span,
    ) -> Pin<Box<dyn Future<Output = Result<Self, Self::Error>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait,
             'life3: 'async_trait;

    // Provided method
    fn compile_to_expr<'life0, 'life1, 'life2, 'life3, 'async_trait>(
        exprs: &'life0 [Syntax],
        env: &'life1 Env,
        cont: &'life2 Option<Arc<Continuation>>,
        span: &'life3 Span,
    ) -> Pin<Box<dyn Future<Output = Result<Arc<dyn Eval>, CompileError>> + Send + 'async_trait>>
       where Self: Send + 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait,
             'life3: 'async_trait { ... }
}

Required Associated Types§

Source

type Error

Required Methods§

Source

fn compile<'life0, 'life1, 'life2, 'life3, 'async_trait>( exprs: &'life0 [Syntax], env: &'life1 Env, cont: &'life2 Option<Arc<Continuation>>, span: &'life3 Span, ) -> Pin<Box<dyn Future<Output = Result<Self, Self::Error>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Provided Methods§

Source

fn compile_to_expr<'life0, 'life1, 'life2, 'life3, 'async_trait>( exprs: &'life0 [Syntax], env: &'life1 Env, cont: &'life2 Option<Arc<Continuation>>, span: &'life3 Span, ) -> Pin<Box<dyn Future<Output = Result<Arc<dyn Eval>, CompileError>> + Send + 'async_trait>>
where Self: Send + 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§