版权信息 🐾

快速链接： 文档

一个高度实验性的 Rust 库，用于在类型级别进行值的打标。

用法

将以下内容添加到您的 Cargo.toml

[dependencies]
imprint = "*"

接下来，将其预置到您的 crate 根模块中

extern crate imprint;

注意

• 类型级别的值
• 类型相等
• 索引
• 存在类型
• 在图灵完备语言中的有效逻辑
• 高阶类型

许可证

Apache 和 MIT 双授权。

lib.rs:

提供在类型级别打标值的能力，使编译时验证仅存在于运行时的值成为可能。

受到 Edward Kmett 的 reflection 和 eq 库以及 Gankro 的 有效未检查索引 方法的高度启发。