# Module typenum::int
[−]
[src]

Type-level signed integers.

Type **operators** implemented:

From `core::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::{Integer, N3, P2}; 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);

## Reexports

`pub use marker_traits::Integer;` |

## Structs

NInt |
Type-level signed integers with negative sign. |

PInt |
Type-level signed integers with positive sign. |

Z0 |
The type-level signed integer 0. |