[−][src]Trait voile::syntax::core::level::LiftEx

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

    fn calc_level(&self) -> Option<Level>;

    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) -> Option<Level>

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

impl LiftEx for Neutral[src]

fn level(&self) -> Level[src]

impl LiftEx for Val[src]

fn level(&self) -> Level[src]

impl LiftEx for Closure[src]

fn level(&self) -> Level[src]

Loading content...