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

Implementations

impl TypeInfos

pub fn new() -> TypeInfos

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

Trait Implementations

impl CompilerEnv for TypeInfos

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

impl Debug for TypeInfos

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TypeInfos

fn default() -> TypeInfos

Returns the “default value” for a type.

impl<'de, 'gc> DeserializeState<'de, DeSeed<'gc>> for TypeInfos

fn deserialize_state<__D>( __seed: &mut DeSeed<'gc>, __deserializer: __D ) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserializes Self using seed and the deserializer

impl KindEnv for TypeInfos

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

Returns the kind of the type type_name

impl SerializeState<SeSeed> for TypeInfos

fn serialize_state<__S>( &self, __serializer: __S, __seed: &SeSeed ) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serializes self

impl TypeEnv for TypeInfos

type Type = ArcType

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

Returns the type of the value bound at id

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

Returns information about the type id