Module typenum::int

Type-level signed integers.

Type operators* implemented:

From std::ops: Add, Sub, Mul, Div, and Rem. From typenum: Same, Cmp, and Pow.

Rather than directly using the structs defined in this module, it is recommended that you import and use the relevant aliases from the consts module.

Note that operators that work on the underlying structure of the number are intentionally not implemented. This is because this implementation of signed integers does not use twos-complement, and implementing them would require making arbitrary choices, causing the results of such operators to be difficult to reason about.

Example

use std::ops::{Add, Sub, Mul, Div, Rem};
use typenum::consts::{N3, P2};
use typenum::int::Integer;

assert_eq!(<N3 as Add<P2>>::Output::to_i32(), -1);
assert_eq!(<N3 as Sub<P2>>::Output::to_i32(), -5);
assert_eq!(<N3 as Mul<P2>>::Output::to_i32(), -6);
assert_eq!(<N3 as Div<P2>>::Output::to_i32(), -1);
assert_eq!(<N3 as Rem<P2>>::Output::to_i32(), -1);

Structs

NInt
PInt

Enums

Z0

Traits

Integer

The marker trait for compile time signed integers.