2 unstable releases
Uses old Rust 2015
|0.2.0||Feb 13, 2017|
|0.1.0||Feb 12, 2017|
#14 in #dependent-types
Quick links: Documentation
A highly experimental Rust library for imprinting values at the type level.
Add this to your
[dependencies] imprint = "*"
Next, prepend this to the root module of your crate:
extern crate imprint;
- Type-level values
- Type equality
- Existential types
- Sound logic in a Turing-complete language
- Higher-ranked types
Dual-licensed under Apache and MIT.
Provides the ability to imprint values at the type level, enabling compile-time validation of values that only exist at run time.
Heavily inspired by Edward Kmett's
eq libraries, as well as Gankro's sound unchecked