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

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

Result type of successful typechecking

Fields

Trait Implementations

impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where
    E: Borrow<SpannedExpr<Symbol>>, 
[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]

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]

impl<T> From for T
[src]

Performs the conversion.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

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

Immutably borrows from an owned value. Read more

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

Mutably borrows from an owned value. Read more

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

this method will likely be replaced by an associated static

Gets the TypeId of self. Read more

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

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

impl<Choices> CoproductSubsetter for Choices
[src]

Extract a subset of the possible types in a coproduct (or get the remaining possibilities) Read more

impl<Source> Sculptor for Source
[src]

Consumes the current HList and returns an HList with the requested shape. Read more

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

Performs the indexed conversion.

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

impl<T> Erased for T
[src]