Struct cl_typeck::project::Project

pub struct Project<'a> {
    pub pool: IndexMap<DefID, Def<'a>>,
    pub anon_types: HashMap<TypeKind, DefID>,
    pub root: DefID,
}

Fields

pool: IndexMap<DefID, Def<'a>>

anon_types: HashMap<TypeKind, DefID>

Stores anonymous tuples, function pointer types, etc.

root: DefID

Implementations

impl Project<'_>

pub fn new() -> Self

impl<'a> Project<'a>

pub fn parent_of(&self, module: DefID) -> Option<DefID>

pub fn root_of(&self, module: DefID) -> DefID

pub fn get<'p>( &self, path: Path<'p>, within: DefID ) -> Option<(Option<DefID>, Option<DefID>, Path<'p>)>

pub fn get_type<'p>( &self, path: Path<'p>, within: DefID ) -> Option<(DefID, Path<'p>)>

Resolves a path within a module tree, finding the innermost module. Returns the remaining path parts.

pub fn get_value<'p>( &self, path: Path<'p>, within: DefID ) -> Option<(DefID, Path<'p>)>

pub fn insert_anonymous_type( &mut self, kind: TypeKind, def: impl FnOnce() -> Def<'a> ) -> DefID

Inserts the type returned by the provided closure iff the TypeKind doesn’t already exist

Assumes kind uniquely identifies the type!

pub fn evaluate<T>(&mut self, expr: &T, parent: DefID) -> Result<T::Out, String>

where T: EvaluableTypeExpression,

impl<'a> Project<'a>

pub fn resolve_imports(&mut self) -> Result<(), String>

pub fn visit_def(&mut self, id: DefID) -> Result<(), String>

pub fn visit_use(&mut self, u: &'a Use, parent: DefID) -> Result<(), String>

pub fn visit_use_tree( &mut self, tree: &'a UseTree, parent: DefID, c: DefID ) -> Result<(), String>

pub fn visit_use_path(&mut self) -> Result<(), String>

pub fn visit_use_leaf( &mut self, name: &'a Sym, parent: DefID, c: DefID ) -> Result<(), String>

pub fn visit_use_alias( &mut self, from: &Sym, name: &Sym, parent: DefID, c: DefID ) -> Result<(), String>

pub fn visit_use_glob(&mut self, parent: DefID, c: DefID) -> Result<(), String>

Trait Implementations

impl<'a> Clone for Project<'a>

fn clone(&self) -> Project<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for Project<'a>

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

Formats the value using the given formatter.

impl Default for Project<'_>

fn default() -> Self

Returns the “default value” for a type.

impl<'a> Index<DefID> for Project<'a>

type Output = Def<'a>

The returned type after indexing.

fn index(&self, index: DefID) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<DefID> for Project<'_>

fn index_mut(&mut self, index: DefID) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.