[−][src]Trait gluon::compiler_pipeline::Compileable
Associated Types
type Expr
Required methods
#[must_use]fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
file: &'life3 str,
expr_str: &'life4 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,
Self: 'async_trait,
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
file: &'life3 str,
expr_str: &'life4 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,
Self: 'async_trait,
Implementors
impl<'a, 'b, T> Compileable<Option<&'b ArcType<Symbol>>> for T where
T: Typecheckable + Send,
T::Expr: Send + Sync,
[src]
T: Typecheckable + Send,
T::Expr: Send + Sync,
type Expr = T::Expr
fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
file: &'life3 str,
expr_str: &'life4 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,
Self: 'async_trait,
[src]
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
file: &'life3 str,
expr_str: &'life4 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,
Self: 'async_trait,
impl<'e, E, Extra> Compileable<Extra> for &'e TypecheckValue<E> where
E: Borrow<OwnedExpr<Symbol>> + Send + Sync,
Extra: Send,
[src]
E: Borrow<OwnedExpr<Symbol>> + Send + Sync,
Extra: Send,
type Expr = &'e E
fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
filename: &'life3 str,
_expr_str: &'life4 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,
Self: 'async_trait,
[src]
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
filename: &'life3 str,
_expr_str: &'life4 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,
Self: 'async_trait,
impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where
E: Borrow<OwnedExpr<Symbol>> + Send + Sync,
Extra: Send,
[src]
E: Borrow<OwnedExpr<Symbol>> + Send + Sync,
Extra: Send,
type Expr = E
fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
filename: &'life3 str,
expr_str: &'life4 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,
Self: 'async_trait,
[src]
self,
compiler: &'life0 mut ModuleCompiler<'life1>,
thread: &'life2 Thread,
filename: &'life3 str,
expr_str: &'life4 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,
Self: 'async_trait,