[−][src]Struct gluon::compiler_pipeline::MacroValue
Result type of successful macro expansion
Fields
expr: ETrait Implementations
impl<E> Renameable for MacroValue<E> where
E: BorrowMut<SpannedExpr<Symbol>>, [src]
E: BorrowMut<SpannedExpr<Symbol>>,
Auto Trait Implementations
impl<E> Send for MacroValue<E> where
E: Send,
E: Send,
impl<E> Sync for MacroValue<E> where
E: Sync,
E: Sync,
Blanket Implementations
impl<T> Renameable for T where
T: MacroExpandable, [src]
T: MacroExpandable,
type Expr = <T as MacroExpandable>::Expr
fn rename(
Self,
&mut Compiler,
&Thread,
&str,
&str
) -> Result<Renamed<<T as Renameable>::Expr>, (Option<Renamed<<T as Renameable>::Expr>>, Error)>[src]
Self,
&mut Compiler,
&Thread,
&str,
&str
) -> Result<Renamed<<T as Renameable>::Expr>, (Option<Renamed<<T as Renameable>::Expr>>, Error)>
impl<T> MetadataExtractable for T where
T: Renameable, [src]
T: Renameable,
type Expr = <T as Renameable>::Expr
fn extract_metadata(
Self,
&mut Compiler,
&Thread,
&str,
&str
) -> Result<WithMetadata<<T as MetadataExtractable>::Expr>, (Option<WithMetadata<<T as MetadataExtractable>::Expr>>, Error)>[src]
Self,
&mut Compiler,
&Thread,
&str,
&str
) -> Result<WithMetadata<<T as MetadataExtractable>::Expr>, (Option<WithMetadata<<T as MetadataExtractable>::Expr>>, Error)>
impl<T> InfixReparseable for T where
T: MetadataExtractable, [src]
T: MetadataExtractable,
type Expr = <T as MetadataExtractable>::Expr
fn reparse_infix(
Self,
&mut Compiler,
&Thread,
&str,
&str
) -> Result<InfixReparsed<<T as InfixReparseable>::Expr>, (Option<InfixReparsed<<T as InfixReparseable>::Expr>>, Error)>[src]
Self,
&mut Compiler,
&Thread,
&str,
&str
) -> Result<InfixReparsed<<T as InfixReparseable>::Expr>, (Option<InfixReparsed<<T as InfixReparseable>::Expr>>, Error)>
impl<T> Typecheckable for T where
T: InfixReparseable, [src]
T: InfixReparseable,
type Expr = <T as InfixReparseable>::Expr
fn typecheck_expected(
Self,
&mut Compiler,
&Thread,
&str,
&str,
Option<&ArcType<Symbol>>
) -> Result<TypecheckValue<<T as Typecheckable>::Expr>, Error>[src]
Self,
&mut Compiler,
&Thread,
&str,
&str,
Option<&ArcType<Symbol>>
) -> Result<TypecheckValue<<T as Typecheckable>::Expr>, Error>
fn typecheck(
self,
compiler: &mut Compiler,
thread: &Thread,
file: &str,
expr_str: &str
) -> Result<TypecheckValue<Self::Expr>>[src]
self,
compiler: &mut Compiler,
thread: &Thread,
file: &str,
expr_str: &str
) -> Result<TypecheckValue<Self::Expr>>
impl<'a, 'b, T> Compileable for T where
T: Typecheckable, [src]
T: Typecheckable,
type Expr = <T as Typecheckable>::Expr
fn compile(
Self,
&mut Compiler,
&Thread,
&str,
&str,
Option<&'b ArcType<Symbol>>
) -> Result<CompileValue<<T as Compileable<Option<&'b ArcType<Symbol>>>>::Expr>, Error>[src]
Self,
&mut Compiler,
&Thread,
&str,
&str,
Option<&'b ArcType<Symbol>>
) -> Result<CompileValue<<T as Compileable<Option<&'b ArcType<Symbol>>>>::Expr>, Error>
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]
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,
type Expr = <C as Compileable<Extra>>::Expr
fn run_expr<T>(
Self,
&mut Compiler,
T,
&str,
&str,
Extra
) -> Box<dyn Future<Item = ExecuteValue<RootedThread, <C as Executable<'vm, Extra>>::Expr>, Error = Error> + 'vm + Send> where
T: Send + VmRoot<'vm>, [src]
Self,
&mut Compiler,
T,
&str,
&str,
Extra
) -> Box<dyn Future<Item = ExecuteValue<RootedThread, <C as Executable<'vm, Extra>>::Expr>, Error = Error> + 'vm + Send> where
T: Send + VmRoot<'vm>,
fn load_script<T>(
Self,
&mut Compiler,
T,
&str,
&str,
Extra
) -> Box<dyn Future<Item = (), Error = Error> + 'vm + Send> where
T: Send + VmRoot<'vm>, [src]
Self,
&mut Compiler,
T,
&str,
&str,
Extra
) -> Box<dyn Future<Item = (), Error = Error> + 'vm + Send> where
T: Send + VmRoot<'vm>,
impl<T, U> Into for T where
U: From<T>, [src]
U: From<T>,
impl<T> From for T[src]
impl<T, U> TryFrom for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T> Borrow for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T, U> TryInto for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> Any for T where
T: Any,
T: Any,
impl<D, T> FromPtr for T[src]
impl<T> Any for T where
T: Any,
T: Any,
fn get_type_id(&self) -> TypeId
impl<Choices> CoproductSubsetter for Choices
type Remainder = Choices
fn subset(
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
impl<Source> Sculptor for Source
impl<T, U, I> LiftInto for T where
U: LiftFrom<T, I>,
U: LiftFrom<T, I>,