Trait Integer

pub trait Integer:
    Sealed
    + Copy
    + Default
    + 'static {
    const I8: i8;
    const I16: i16;
    const I32: i32;
    const I64: i64;
    const I128: i128;
    const ISIZE: isize;

    // Required methods
    fn to_i8() -> i8;
    fn to_i16() -> i16;
    fn to_i32() -> i32;
    fn to_i64() -> i64;
    fn to_i128() -> i128;
    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 I128: i128

Available on crate feature i128 only.

const ISIZE: isize

Required Methods

fn to_i8() -> i8

fn to_i16() -> i16

fn to_i32() -> i32

fn to_i64() -> i64

fn to_i128() -> i128

Available on crate feature i128 only.

fn to_isize() -> isize

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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 I128: i128 = 0i128

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 I128: i128

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 I128: i128 = U::I128

const ISIZE: isize = U::ISIZE