#typelevel #type

archived bin+lib type_level_examples

Examples of using type-level values and functions

4 releases

Uses old Rust 2015

0.1.0 Nov 20, 2018
0.0.22 Oct 4, 2018
0.0.21 Oct 3, 2018
0.0.20 Oct 3, 2018

#4 in #typelevel

31 downloads per month

MIT/Apache

1MB
20K SLoC

Build Status

Examples of using type-level values and functions.

You are free to copy any of the examples here,improvements to this examples should be (preferably) an issue or a pull request.

This is a library purely so that docs.rs can show documentation for it, do not use this crate as a dependency.

To run the examples do cargo run -- and then add one of the arguments from the help message.

Please create issues for any problem.

This crate uses derive_type_level to access the TypeLevel and MutConstValue derive macros, and type_level_values for types and traits related to type-level values and functions.

License

type_level is licensed under either of

Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

Contribution

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

Dependencies

~3.5–5.5MB
~104K SLoC