Type Alias ezno_checker::context::RootContext

pub type RootContext = Context<Root>;

Aliased Type

struct RootContext {
    pub context_id: ContextId,
    pub possibly_mutated_objects: HashSet<TypeId>,
    pub info: LocalInformation,
    /* private fields */
}

Fields

context_id: ContextId

possibly_mutated_objects: HashSet<TypeId>

When a objects TypeId is in here getting a property returns a constructor rather than

info: LocalInformation

Implementations

impl RootContext

pub fn new_with_primitive_references() -> Self

pub fn new_module_context<'a, T: ReadFromFS, A: ASTImplementation>( &self, source: SourceId, module: A::Module<'static>, checking_data: &'a mut CheckingData<'_, T, A> ) -> &'a SynthesisedModule<A::OwnedModule>

pub fn serialize(self) -> Vec<u8>

TODO working things out:

• strings could reference a big string

pub fn deserialize( _source: &[u8], _backing_source: SourceId ) -> Result<Self, String>