Trait Integer

pub trait Integer:
    Sealed
    + Copy
    + Default
    + 'static {
    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;
}

The marker trait for compile time signed integers.

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

Object Safety

This trait is not object safe.

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 = _

const I16: i16 = _

const I32: i32 = _

const I64: i64 = _

const ISIZE: isize = _

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