[−][src]Struct gluon::compiler_pipeline::TypecheckValue

pub struct TypecheckValue<E> {
    pub expr: E,
    pub typ: ArcType,
    pub metadata_map: FnvMap<Symbol, Arc<Metadata>>,
    pub metadata: Arc<Metadata>,
}

Result type of successful typechecking

Fields

expr: Etyp: ArcTypemetadata_map: FnvMap<Symbol, Arc<Metadata>>metadata: Arc<Metadata>

Trait Implementations

`impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where E: Borrow<SpannedExpr<Symbol>>,` [src]

`type Expr = E`

`fn compile( self, compiler: &mut Compiler, thread: &Thread, filename: &str, expr_str: &str, _: Extra ) -> Result<CompileValue<Self::Expr>>`[src]

Auto Trait Implementations

`impl<E> Send for TypecheckValue<E> where E: Send,`

`impl<E> Sync for TypecheckValue<E> where E: Sync,`

Blanket Implementations

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

`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]

`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`

`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]

`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]

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

`fn into(self) -> U`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

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

`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]

`fn borrow(&self) -> &T`[src]

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

`fn type_id(&self) -> TypeId`[src]

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

`fn borrow_mut(&mut self) -> &mut T`[src]

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

`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,`

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

`unsafe fn make_ptr(D, ptr: mut ()) -> mut T`[src]

`impl<T> Any for T where 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>`

`impl<Source> Sculptor for Source`

`type Remainder = Source`

`fn sculpt(self) -> (HNil, <Source as Sculptor<HNil, HNil>>::Remainder)`

`impl<T, U, I> LiftInto for T where U: LiftFrom<T, I>,`

`fn lift_into(self) -> U`

[−][src]Struct gluon::compiler_pipeline::TypecheckValue

Fields

Trait Implementations

impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where E: Borrow<SpannedExpr<Symbol>>, [src]

type Expr = E

fn compile( self, compiler: &mut Compiler, thread: &Thread, filename: &str, expr_str: &str, _: Extra) -> Result<CompileValue<Self::Expr>>[src]

Auto Trait Implementations

impl<E> Send for TypecheckValue<E> where E: Send,

impl<E> Sync for TypecheckValue<E> where E: Sync,

Blanket Implementations

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

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]

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

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]

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]

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

fn into(self) -> U[src]

impl<T> From for T[src]

fn from(t: T) -> T[src]

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

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

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

fn borrow(&self) -> &T[src]

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

fn type_id(&self) -> TypeId[src]

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

fn borrow_mut(&mut self) -> &mut T[src]

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

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

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<T> Any for T where T: Any,

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

unsafe fn make_ptr(D, ptr: *mut ()) -> *mut T[src]

impl<T> Any for T where 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>

impl<Source> Sculptor for Source

type Remainder = Source

fn sculpt(self) -> (HNil, <Source as Sculptor<HNil, HNil>>::Remainder)

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

fn lift_into(self) -> U

`impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where E: Borrow<SpannedExpr<Symbol>>,` [src]

`type Expr = E`

`fn compile( self, compiler: &mut Compiler, thread: &Thread, filename: &str, expr_str: &str, _: Extra ) -> Result<CompileValue<Self::Expr>>`[src]

`impl<E> Send for TypecheckValue<E> where E: Send,`

`impl<E> Sync for TypecheckValue<E> where E: Sync,`

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

`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]

`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`

`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]

`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]

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

`fn into(self) -> U`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

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

`type Error = Infallible`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

`fn borrow(&self) -> &T`[src]

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

`fn type_id(&self) -> TypeId`[src]

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

`fn borrow_mut(&mut self) -> &mut T`[src]

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

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

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<T> Any for T where T: Any,`

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

`unsafe fn make_ptr(D, ptr: mut ()) -> mut T`[src]

`impl<T> Any for T where 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>`

`impl<Source> Sculptor for Source`

`type Remainder = Source`

`fn sculpt(self) -> (HNil, <Source as Sculptor<HNil, HNil>>::Remainder)`

`impl<T, U, I> LiftInto for T where U: LiftFrom<T, I>,`

`fn lift_into(self) -> U`