Trait voile_util::level::LiftEx

pub trait LiftEx: Sized {
    fn lift(self, levels: u32) -> Self;
    fn calc_level(&self) -> LevelCalcState;

    fn level(&self) -> Level { ... }
}

Expression with universe level (which means they can be lifted).

Required methods

fn lift(self, levels: u32) -> Self

Lift the level of self.

fn calc_level(&self) -> LevelCalcState

Internal API, for code sharing only.

Loading content...

Provided methods

fn level(&self) -> Level

Calculate the level of self, like a normal value will have level 0, a type expression will have level 1 (or higher).

Loading content...

Implementors

Loading content...