Trait gluon::compiler_pipeline::MetadataExtractable

pub trait MetadataExtractable: Sized {
    type Expr: BorrowMut<OwnedExpr<Symbol>>;

    // Required method
    fn extract_metadata<'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
    ) -> Pin<Box<dyn Future<Output = SalvageResult<WithMetadata<Self::Expr>>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait,
             'life3: 'async_trait,
             'life4: 'async_trait,
             'life5: 'async_trait;
}

Required Associated Types

type Expr: BorrowMut<OwnedExpr<Symbol>>

Required Methods

fn extract_metadata<'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 ) -> Pin<Box<dyn Future<Output = SalvageResult<WithMetadata<Self::Expr>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait, 'life5: 'async_trait,

Object Safety

This trait is not object safe.

Implementors

impl<E> MetadataExtractable for Renamed<E>

where E: BorrowMut<OwnedExpr<Symbol>> + Send,

type Expr = E

impl<T> MetadataExtractable for T

where T: Renameable + Send, T::Expr: Send,

type Expr = <T as Renameable>::Expr