Trait gluon::compiler_pipeline::Compileable

pub trait Compileable<Extra> {
    type Expr;
#[must_use]    fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
        self, 
        compiler: &'life0 mut ModuleCompiler<'life1, 'life2>, 
        thread: &'life3 Thread, 
        file: &'life4 str, 
        expr_str: &'life5 str, 
        arg: Extra
    ) -> Pin<Box<dyn Future<Output = Result<CompileValue<Self::Expr>>> + Send + 'async_trait>>
    where
        Extra: 'async_trait,
        'life0: 'async_trait,
        'life1: 'async_trait,
        'life2: 'async_trait,
        'life3: 'async_trait,
        'life4: 'async_trait,
        'life5: 'async_trait,
        Self: 'async_trait;
}

Associated Types

type Expr

Loading content...

Required methods

#[must_use]fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
    self,
    compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
    thread: &'life3 Thread,
    file: &'life4 str,
    expr_str: &'life5 str,
    arg: Extra
) -> Pin<Box<dyn Future<Output = Result<CompileValue<Self::Expr>>> + Send + 'async_trait>> where
    Extra: 'async_trait,
    'life0: 'async_trait,
    'life1: 'async_trait,
    'life2: 'async_trait,
    'life3: 'async_trait,
    'life4: 'async_trait,
    'life5: 'async_trait,
    Self: 'async_trait, 

Loading content...

Implementors

impl<'a, 'b, T> Compileable<Option<&'b ArcType<Symbol>>> for T where
    T: Typecheckable + Send,
    T::Expr: Send + Sync, 

type Expr = T::Expr

fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
    self,
    compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
    thread: &'life3 Thread,
    file: &'life4 str,
    expr_str: &'life5 str,
    expected_type: Option<&'b ArcType>
) -> Pin<Box<dyn Future<Output = Result<CompileValue<Self::Expr>>> + Send + 'async_trait>> where
    'b: 'async_trait,
    'life0: 'async_trait,
    'life1: 'async_trait,
    'life2: 'async_trait,
    'life3: 'async_trait,
    'life4: 'async_trait,
    'life5: 'async_trait,
    Self: 'async_trait, 

impl<'e, E, Extra> Compileable<Extra> for &'e TypecheckValue<E> where
    E: Borrow<OwnedExpr<Symbol>> + Send + Sync,
    Extra: Send, 

type Expr = &'e E

fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
    self,
    compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
    thread: &'life3 Thread,
    filename: &'life4 str,
    _expr_str: &'life5 str,
    __arg5: Extra
) -> Pin<Box<dyn Future<Output = Result<CompileValue<Self::Expr>>> + Send + 'async_trait>> where
    Extra: 'async_trait,
    'life0: 'async_trait,
    'life1: 'async_trait,
    'life2: 'async_trait,
    'life3: 'async_trait,
    'life4: 'async_trait,
    'life5: 'async_trait,
    Self: 'async_trait, 

impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where
    E: Borrow<OwnedExpr<Symbol>> + Send + Sync,
    Extra: Send, 

type Expr = E

fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
    self,
    compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
    thread: &'life3 Thread,
    filename: &'life4 str,
    expr_str: &'life5 str,
    extra: Extra
) -> Pin<Box<dyn Future<Output = Result<CompileValue<Self::Expr>>> + Send + 'async_trait>> where
    Extra: 'async_trait,
    'life0: 'async_trait,
    'life1: 'async_trait,
    'life2: 'async_trait,
    'life3: 'async_trait,
    'life4: 'async_trait,
    'life5: 'async_trait,
    Self: 'async_trait, 

Loading content...