[][src]Struct gluon::compiler_pipeline::MacroValue

pub struct MacroValue<E> {
    pub expr: E,
}

Result type of successful macro expansion

Fields

expr: E

Trait Implementations

impl<E> Renameable for MacroValue<E> where
    E: BorrowMut<SpannedExpr<Symbol>>, 
[src]

type Expr = E

Auto Trait Implementations

impl<E> Send for MacroValue<E> where
    E: Send

impl<E> Sync for MacroValue<E> where
    E: Sync

Blanket Implementations

impl<T> Renameable for T where
    T: MacroExpandable
[src]

type Expr = <T as MacroExpandable>::Expr

impl<T> MetadataExtractable for T where
    T: Renameable
[src]

type Expr = <T as Renameable>::Expr

impl<T> InfixReparseable for T where
    T: MetadataExtractable
[src]

type Expr = <T as MetadataExtractable>::Expr

impl<T> Typecheckable for T where
    T: InfixReparseable
[src]

type Expr = <T as InfixReparseable>::Expr

fn typecheck(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    file: &str,
    expr_str: &str
) -> Result<TypecheckValue<Self::Expr>>
[src]

impl<'a, 'b, T> Compileable for T where
    T: Typecheckable
[src]

type Expr = <T as Typecheckable>::Expr

impl<'vm, C, Extra> Executable for C where
    C: Compileable<Extra>,
    <C as Compileable<Extra>>::Expr: BorrowMut<Spanned<Expr<Symbol>, ByteIndex>>,
    <C as Compileable<Extra>>::Expr: Send,
    <C as Compileable<Extra>>::Expr: 'vm, 
[src]

type Expr = <C as Compileable<Extra>>::Expr

impl<T> From for T[src]

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom for T where
    T: From<U>, 
[src]

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Any for T where
    T: Any
[src]

impl<D, T> FromPtr for T[src]

impl<Choices> CoproductSubsetter for Choices[src]

type Remainder = Choices

impl<Source> Sculptor for Source[src]

type Remainder = Source

impl<T, U, I> LiftInto for T where
    U: LiftFrom<T, I>, 
[src]

impl<T> Any for T where
    T: Any
[src]

impl<T> Erased for T[src]