Trait IntegerTypeExt

pub trait IntegerTypeExt {
    // Required methods
    fn to_ty<'db>(&self, interner: DbInterner<'db>) -> Ty<'db>;
    fn initial_discriminant<'db>(&self, interner: DbInterner<'db>) -> Discr<'db>;
    fn disr_incr<'db>(
        &self,
        interner: DbInterner<'db>,
        val: Option<Discr<'db>>,
    ) -> Option<Discr<'db>>;
}

Required Methods

fn to_ty<'db>(&self, interner: DbInterner<'db>) -> Ty<'db>

fn initial_discriminant<'db>(&self, interner: DbInterner<'db>) -> Discr<'db>

fn disr_incr<'db>( &self, interner: DbInterner<'db>, val: Option<Discr<'db>>, ) -> Option<Discr<'db>>

Implementations on Foreign Types

impl IntegerTypeExt for IntegerType

fn to_ty<'db>(&self, interner: DbInterner<'db>) -> Ty<'db>

fn initial_discriminant<'db>(&self, interner: DbInterner<'db>) -> Discr<'db>

fn disr_incr<'db>( &self, interner: DbInterner<'db>, val: Option<Discr<'db>>, ) -> Option<Discr<'db>>

Implementors