#compile-time #numbers #unsigned-integer #signed-integer #bit #type-level #array

no-std typenum

Typenum is a Rust library for type-level numbers evaluated at compile time. It currently supports bits, unsigned integers, and signed integers. It also provides a type-level array of type-level numbers, but its implementation is incomplete.

26 stable releases

1.17.0 Sep 15, 2023
1.16.0 Dec 5, 2022
1.15.0 Dec 26, 2021
1.14.0 Sep 1, 2021
0.1.1 Oct 16, 2015

#43 in Rust patterns

Download history 1480252/week @ 2023-12-05 1514546/week @ 2023-12-12 1196325/week @ 2023-12-19 837331/week @ 2023-12-26 1370400/week @ 2024-01-02 1470537/week @ 2024-01-09 1575591/week @ 2024-01-16 1554938/week @ 2024-01-23 1625933/week @ 2024-01-30 1586638/week @ 2024-02-06 1542274/week @ 2024-02-13 1626429/week @ 2024-02-20 1691038/week @ 2024-02-27 1693014/week @ 2024-03-05 1695143/week @ 2024-03-12 1434765/week @ 2024-03-19

6,808,111 downloads per month
Used in 23,861 crates (263 directly)

MIT/Apache

200KB
6K SLoC

crates.io Build Status

Typenum

Typenum is a Rust library for type-level numbers evaluated at compile time. It currently supports bits, unsigned integers, and signed integers.

Typenum depends only on libcore, and so is suitable for use on any platform!

For the full documentation, go here.

Importing

While typenum is divided into several modules, they are all re-exported through the crate root, so you can import anything contained herein with use typenum::whatever;, ignoring the crate structure.

You may also find it useful to treat the consts module as a prelude, performing a glob import.

Example

Here is a trivial example of typenum's use:

use typenum::{Sum, Exp, Integer, N2, P3, P4};

type X = Sum<P3, P4>;
assert_eq!(<X as Integer>::to_i32(), 7);

type Y = Exp<N2, P3>;
assert_eq!(<Y as Integer>::to_i32(), -8);

For a non-trivial example of its use, see one of the crates that depends on it. The full list is here. Of note are dimensioned which does compile-time type checking for arbitrary unit systems and generic-array which provides arrays whose length you can generically refer to.

Error messages

Typenum's error messages aren't great, and can be difficult to parse. The good news is that the fine folks at Auxon have written a tool to help with it. Please take a look at tnfilt.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~0–610KB
~13K SLoC