Struct pomelo_hir::lower::context::Resolver

pub struct Resolver {
    values: ScopedMap<LongVId, DefLoc>,
    fixity: ScopedMap<LongVId, Fixity>,
    tys: ScopedMap<LongTyCon, DefLoc>,
}

Holds the results of early name resolution

Fields

values: ScopedMap<LongVId, DefLoc>

fixity: ScopedMap<LongVId, Fixity>

tys: ScopedMap<LongTyCon, DefLoc>

Implementations

impl Resolver

pub fn new() -> Self

pub fn def_vid(&mut self, vid: LongVId, loc: DefLoc)

pub fn def_ty(&mut self, ty: LongTyCon, loc: DefLoc)

pub fn set_fixity(&mut self, vid: LongVId, fixity: Fixity)

pub fn lookup_vid(&self, vid: &LongVId) -> DefLoc

pub fn lookup_ty(&self, ty: &LongTyCon) -> DefLoc

pub fn lookup_fixity(&self, vid: &LongVId) -> Option<Fixity>

pub fn enter_scope(&mut self)

pub fn exit_scope(&mut self)

Trait Implementations

impl Clone for Resolver

fn clone(&self) -> Resolver

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Resolver

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

Formats the value using the given formatter.