[−][src]Struct gluon_vm::types::TypeInfos

pub struct TypeInfos {
    pub id_to_type: FnvMap<String, Alias<Symbol, ArcType>>,
}

Fields

id_to_type: FnvMap<String, Alias<Symbol, ArcType>>

Methods

`impl TypeInfos`[src]

`pub fn new() -> TypeInfos`[src]

`pub fn extend(&mut self, other: TypeInfos)`[src]

Trait Implementations

`impl CompilerEnv for TypeInfos`[src]

`fn find_var(&self, id: &Symbol) -> Option<(Variable<Symbol>, ArcType)>`[src]

`impl Debug for TypeInfos`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl TypeEnv for TypeInfos`[src]

`type Type = ArcType`

`fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>`[src]

`fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>`[src]

`impl KindEnv for TypeInfos`[src]

`fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>`[src]

Auto Trait Implementations

`impl Send for TypeInfos`

`impl Sync for TypeInfos`

Blanket Implementations

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

`unsafe fn make_ptr(D, mut ()) -> mut T`[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 = !`

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

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

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[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<Choices> CoproductSubsetter for Choices`[src]

`type Remainder = Choices`

`fn subset( self ) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>`[src]

`impl<Source> Sculptor for Source`[src]

`type Remainder = Source`

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

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

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

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

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

[−][src]Struct gluon_vm::types::TypeInfos

Fields

Methods

impl TypeInfos[src]

pub fn new() -> TypeInfos[src]

pub fn extend(&mut self, other: TypeInfos)[src]

Trait Implementations

impl CompilerEnv for TypeInfos[src]

fn find_var(&self, id: &Symbol) -> Option<(Variable<Symbol>, ArcType)>[src]

impl Debug for TypeInfos[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

impl TypeEnv for TypeInfos[src]

type Type = ArcType

fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>[src]

fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>[src]

impl KindEnv for TypeInfos[src]

fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>[src]

Auto Trait Implementations

impl Send for TypeInfos

impl Sync for TypeInfos

Blanket Implementations

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

unsafe fn make_ptr(D, *mut ()) -> *mut T[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 = !

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, 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: '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<Choices> CoproductSubsetter for Choices[src]

type Remainder = Choices

fn subset( self) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>[src]

impl<Source> Sculptor for Source[src]

type Remainder = Source

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

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

fn lift_into(self) -> U[src]

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

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