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.