vstd::prelude

Trait Integer

pub unsafe trait Integer: Copy {
    const CONST_DEFAULT: Self;
}

Required Associated Constants§

const CONST_DEFAULT: Self

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.

Implementations on Foreign Types§

§

impl Integer for char

§

const CONST_DEFAULT: char = ' '

§

impl Integer for i8

§

const CONST_DEFAULT: i8 = 0i8

§

impl Integer for i16

§

const CONST_DEFAULT: i16 = 0i16

§

impl Integer for i32

§

const CONST_DEFAULT: i32 = 0i32

§

impl Integer for i64

§

const CONST_DEFAULT: i64 = 0i64

§

impl Integer for i128

§

const CONST_DEFAULT: i128 = 0i128

§

impl Integer for isize

§

const CONST_DEFAULT: isize = 0isize

§

impl Integer for u8

§

const CONST_DEFAULT: u8 = 0u8

§

impl Integer for u16

§

const CONST_DEFAULT: u16 = 0u16

§

impl Integer for u32

§

const CONST_DEFAULT: u32 = 0u32

§

impl Integer for u64

§

const CONST_DEFAULT: u64 = 0u64

§

impl Integer for u128

§

const CONST_DEFAULT: u128 = 0u128

§

impl Integer for usize

§

const CONST_DEFAULT: usize = 0usize

Implementors§

§

impl Integer for int

§

const CONST_DEFAULT: int = int

§

impl Integer for nat

§

const CONST_DEFAULT: nat = nat