erg_compiler::ty::free

Trait HasLevel

Source 
pub trait HasLevel {
    // Required methods
    fn level(&self) -> Option<Level>;
    fn set_level(&self, lev: Level);

    // Provided methods
    fn set_lower(&self, level: Level) { ... }
    fn lift(&self) { ... }
    fn lower(&self) { ... }
    fn generalize(&self) { ... }
    fn is_generalized(&self) -> bool { ... }
}

Required Methods§

Source

fn level(&self) -> Option<Level>

Source

fn set_level(&self, lev: Level)

Provided Methods§

Source

fn set_lower(&self, level: Level)

Source

fn lift(&self)

Source

fn lower(&self)

Source

fn generalize(&self)

Source

fn is_generalized(&self) -> bool

Implementors§