Trait typenum::marker_traits::Integer

pub trait Integer {
    const I8: i8;
    const I16: i16;
    const I32: i32;
    const I64: i64;
    const ISIZE: isize;

    fn to_i8() -> i8;
    fn to_i16() -> i16;
    fn to_i32() -> i32;
    fn to_i64() -> i64;
    fn to_isize() -> isize;
}

The marker trait for compile time signed integers.

This trait should not be implemented for anything outside this crate.

Example

use typenum::{Integer, P3};

assert_eq!(P3::to_i32(), 3);
assert_eq!(P3::I32, 3);

Required Associated Constants

const I8: i8

const I16: i16

const I32: i32

const I64: i64

const ISIZE: isize

Required Methods

fn to_i8() -> i8

fn to_i16() -> i16

fn to_i32() -> i32

fn to_i64() -> i64

fn to_isize() -> isize

Implementors

impl Integer for Z0

const I8: i8 = 0i8

const I16: i16 = 0i16

const I32: i32 = 0i32

const I64: i64 = 0i64

const ISIZE: isize = 0isize

impl<U: Unsigned + NonZero> Integer for NInt<U>

const I8: i8 = -((U::U8 - 1) as i8) - 1

const I16: i16 = -((U::U16 - 1) as i16) - 1

const I32: i32 = -((U::U32 - 1) as i32) - 1

const I64: i64 = -((U::U64 - 1) as i64) - 1

const ISIZE: isize = -((U::USIZE - 1) as isize) - 1

impl<U: Unsigned + NonZero> Integer for PInt<U>

const I8: i8 = U::I8

const I16: i16 = U::I16

const I32: i32 = U::I32

const I64: i64 = U::I64

const ISIZE: isize = U::ISIZE