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.