Struct apollo_compiler::database::hir::TypeSystem

pub struct TypeSystem {
    pub definitions: Arc<TypeSystemDefinitions>,
    pub inputs: IndexMap<FileId, Source>,
    pub type_definitions_by_name: Arc<IndexMap<String, TypeDefinition>>,
    pub subtype_map: Arc<HashMap<String, HashSet<String>>>,
}

Contains TypeSystemDefinitions together with:

• Other data that can be derived from it, computed eagerly
• Relevant inputs, so that diagnostics can print context

This can be used with set_type_system_hir on another compiler.

Fields

definitions: Arc<TypeSystemDefinitions>

inputs: IndexMap<FileId, Source>

type_definitions_by_name: Arc<IndexMap<String, TypeDefinition>>

subtype_map: Arc<HashMap<String, HashSet<String>>>

Trait Implementations

impl Debug for TypeSystem

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

Formats the value using the given formatter.

impl PartialEq<TypeSystem> for TypeSystem

fn eq(&self, other: &TypeSystem) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeSystem

impl StructuralEq for TypeSystem

impl StructuralPartialEq for TypeSystem