Trait const_arithmetic::IsInteger

source ·

pub trait IsInteger {
    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(&self) -> 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);