#value #original #unique #name #demo #repo #check

type_name_value

A package for assigning type names to values

2 releases

0.1.1 Jul 30, 2020
0.1.0 Jul 29, 2020

#2607 in Rust patterns


Used in fixed_vec

MIT/Apache

5KB

type_name_value

Assign a unique type to a value. This crate was made for a demo of a cool concept, and I thought it would definitely be useful for other applications. Unfortunately, the original application was unsound, but it might be useful for someone still.

An important note if you plan to use this crate! The reason this was unsound for its original purpose is that it only attaches unique types to macro invocations, not actually to values, and so it can't quite guarantee what it needs to. Check the original repo for more information before using this crate!

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

~1.5MB
~35K SLoC