pub trait IsInteger: Copy {
type Hex0: Hex;
type Hex1: Hex;
type Hex2: Hex;
type Hex3: Hex;
type Hex4: Hex;
type Hex5: Hex;
type Hex6: Hex;
type Hex7: Hex;
// Required method
fn number() -> u32;
}Expand description
A trait that denotes whether something is an integer Example
use const_arithmetic::*;
let a = parse_integer!(3);
// This verifies that a is 3
fn is_3<T>(_a: T) where
T: IsInteger,
T: TypedAssertEqual<TypedInteger<_3, _0, _0, _0, _0, _0, _0, _0>>
{}
is_3(a);Required Associated Types§
type Hex0: Hex
type Hex1: Hex
type Hex2: Hex
type Hex3: Hex
type Hex4: Hex
type Hex5: Hex
type Hex6: Hex
type Hex7: Hex
Required Methods§
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.