Trait erg_compiler::ty::free::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§