2 unstable releases
Uses old Rust 2015
0.2.0 | Feb 13, 2017 |
---|---|
0.1.0 | Feb 12, 2017 |
#32 in #type-level
31KB
594 lines
imprint 🐾
Quick links: Documentation
A highly experimental Rust library for imprinting values at the type level.
Usage
Add this to your Cargo.toml
:
[dependencies]
imprint = "*"
Next, prepend this to the root module of your crate:
extern crate imprint;
Notes
- Type-level values
- Type equality
- Indexing
- Existential types
- Sound logic in a Turing-complete language
- Higher-ranked types
License
Dual-licensed under Apache and MIT.
lib.rs
:
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 reflection
and
eq
libraries, as well as Gankro's sound unchecked
indexing approach.
Dependencies
~240KB