[−][src]Struct gluon::compiler_pipeline::InfixReparsed
Fields
expr: E
metadata_map: FnvMap<Symbol, Arc<Metadata>>
metadata: Arc<Metadata>
Trait Implementations
impl<E: Debug> Debug for InfixReparsed<E>
[src]
impl<E> Typecheckable for InfixReparsed<E> where
E: BorrowMut<OwnedExpr<Symbol>> + Send,
[src]
E: BorrowMut<OwnedExpr<Symbol>> + Send,
type Expr = E
fn typecheck_expected<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'life6, 'async_trait>(
self,
compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
thread: &'life3 Thread,
file: &'life4 str,
_expr_str: &'life5 str,
expected_type: Option<&'life6 ArcType>
) -> Pin<Box<dyn Future<Output = SalvageResult<TypecheckValue<Self::Expr>>> + Send + 'async_trait>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
'life6: 'async_trait,
Self: 'async_trait,
[src]
self,
compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
thread: &'life3 Thread,
file: &'life4 str,
_expr_str: &'life5 str,
expected_type: Option<&'life6 ArcType>
) -> Pin<Box<dyn Future<Output = SalvageResult<TypecheckValue<Self::Expr>>> + Send + 'async_trait>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
'life6: 'async_trait,
Self: 'async_trait,
#[must_use]fn typecheck<'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<TypecheckValue<Self::Expr>>> + Send + 'async_trait>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
Self: Send + 'async_trait,
[src]
self,
compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
thread: &'life3 Thread,
file: &'life4 str,
expr_str: &'life5 str
) -> Pin<Box<dyn Future<Output = SalvageResult<TypecheckValue<Self::Expr>>> + Send + 'async_trait>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
Self: Send + 'async_trait,
Auto Trait Implementations
impl<E> RefUnwindSafe for InfixReparsed<E> where
E: RefUnwindSafe,
E: RefUnwindSafe,
impl<E> Send for InfixReparsed<E> where
E: Send,
E: Send,
impl<E> Sync for InfixReparsed<E> where
E: Sync,
E: Sync,
impl<E> Unpin for InfixReparsed<E> where
E: Unpin,
E: Unpin,
impl<E> UnwindSafe for InfixReparsed<E> where
E: UnwindSafe,
E: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Any for T where
T: Any,
T: Any,
impl<Id> AsId<Id> for Id where
Id: ?Sized,
[src]
Id: ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<'_, T> Captures<'_> for T
[src]
impl<'a, 'b, T> Compileable<Option<&'b ArcType<Symbol>>> for T where
T: Typecheckable + Send,
<T as Typecheckable>::Expr: Send,
<T as Typecheckable>::Expr: Sync,
[src]
T: Typecheckable + Send,
<T as Typecheckable>::Expr: Send,
<T as Typecheckable>::Expr: Sync,
type Expr = <T as Typecheckable>::Expr
fn compile<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
&'life3 Thread,
&'life4 str,
&'life5 str,
Option<&'b ArcType<Symbol>>
) -> Pin<Box<dyn Future<Output = Result<CompileValue<<T as Compileable<Option<&'b ArcType<Symbol>>>>::Expr>, Error>> + 'async_trait + Send>> where
'b: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
T: 'async_trait,
[src]
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
&'life3 Thread,
&'life4 str,
&'life5 str,
Option<&'b ArcType<Symbol>>
) -> Pin<Box<dyn Future<Output = Result<CompileValue<<T as Compileable<Option<&'b ArcType<Symbol>>>>::Expr>, Error>> + 'async_trait + Send>> where
'b: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
T: 'async_trait,
impl<Choices> CoproductSubsetter<CNil, HNil> 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<T> Downcast for T where
T: Any,
T: Any,
fn into_any(self: Box<T>) -> Box<dyn Any + 'static>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn as_any(&self) -> &(dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
impl<T> DowncastArc for T where
T: Downcast + Send + Sync,
[src]
T: Downcast + Send + Sync,
impl<T> DowncastSync for T where
T: Send + Sync + Any,
T: Send + Sync + Any,
impl<'vm, C, Extra> Executable<'vm, Extra> for C where
C: Compileable<Extra> + Send,
Extra: Send,
<C as Compileable<Extra>>::Expr: Send,
<C as Compileable<Extra>>::Expr: 'vm,
[src]
C: Compileable<Extra> + Send,
Extra: Send,
<C as Compileable<Extra>>::Expr: Send,
<C as Compileable<Extra>>::Expr: 'vm,
type Expr = <C as Compileable<Extra>>::Expr
fn run_expr<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait, T>(
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
T,
&'life3 str,
&'life4 str,
Extra
) -> Pin<Box<dyn Future<Output = Result<ExecuteValue<RootedThread, <C as Executable<'vm, Extra>>::Expr>, Error>> + 'async_trait + Send>> where
'vm: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
C: 'async_trait,
Extra: 'async_trait,
T: Send + Sync + VmRoot<'vm> + 'async_trait,
[src]
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
T,
&'life3 str,
&'life4 str,
Extra
) -> Pin<Box<dyn Future<Output = Result<ExecuteValue<RootedThread, <C as Executable<'vm, Extra>>::Expr>, Error>> + 'async_trait + Send>> where
'vm: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
C: 'async_trait,
Extra: 'async_trait,
T: Send + Sync + VmRoot<'vm> + 'async_trait,
fn load_script<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait, T>(
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
T,
&'life3 str,
&'life4 str,
Extra
) -> Pin<Box<dyn Future<Output = Result<(), Error>> + 'async_trait + Send>> where
'vm: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
C: 'async_trait,
Extra: 'async_trait,
T: Send + Sync + VmRoot<'vm> + 'async_trait,
[src]
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
T,
&'life3 str,
&'life4 str,
Extra
) -> Pin<Box<dyn Future<Output = Result<(), Error>> + 'async_trait + Send>> where
'vm: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
C: 'async_trait,
Extra: 'async_trait,
T: Send + Sync + VmRoot<'vm> + 'async_trait,
impl<T> From<T> for T
[src]
impl<D, T> FromPtr<D> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U, I> LiftInto<U, I> for T where
U: LiftFrom<T, I>,
U: LiftFrom<T, I>,
fn lift_into(self) -> U
impl<Source> Sculptor<HNil, HNil> for Source
impl<T, U> TryFrom<U> 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, U> TryInto<U> 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> Typecheckable for T where
T: InfixReparseable + Send,
<T as InfixReparseable>::Expr: Send,
[src]
T: InfixReparseable + Send,
<T as InfixReparseable>::Expr: Send,
type Expr = <T as InfixReparseable>::Expr
fn typecheck_expected<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'life6, 'async_trait>(
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
&'life3 Thread,
&'life4 str,
&'life5 str,
Option<&'life6 ArcType<Symbol>>
) -> Pin<Box<dyn Future<Output = Result<TypecheckValue<<T as Typecheckable>::Expr>, Salvage<TypecheckValue<<T as Typecheckable>::Expr>, Error>>> + 'async_trait + Send>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
'life6: 'async_trait,
T: 'async_trait,
[src]
Self,
&'life0 mut ModuleCompiler<'life1, 'life2>,
&'life3 Thread,
&'life4 str,
&'life5 str,
Option<&'life6 ArcType<Symbol>>
) -> Pin<Box<dyn Future<Output = Result<TypecheckValue<<T as Typecheckable>::Expr>, Salvage<TypecheckValue<<T as Typecheckable>::Expr>, Error>>> + 'async_trait + Send>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
'life6: 'async_trait,
T: 'async_trait,
#[must_use]fn typecheck<'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<TypecheckValue<Self::Expr>>> + Send + 'async_trait>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
Self: Send + 'async_trait,
[src]
self,
compiler: &'life0 mut ModuleCompiler<'life1, 'life2>,
thread: &'life3 Thread,
file: &'life4 str,
expr_str: &'life5 str
) -> Pin<Box<dyn Future<Output = SalvageResult<TypecheckValue<Self::Expr>>> + Send + 'async_trait>> where
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
Self: Send + 'async_trait,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,