0.1.1	2023 年 3 月 29 日
0.1.0	2023 年 3 月 29 日

2039 在 Rust 模式中排名

每月 21 次下载

MIT 许可证

39KB
832 行

eater_rangeset

一个简单的库，包含一些用于处理范围和范围集合的样板代码

目前每个集合操作都依赖于 RangeSet::union 和 RangeSet::invert 的混合，因为这两者是实现其他所有操作所需的唯一两个操作。

这也减少了错误的机会，因为只有两个函数需要证明是正确的。

将来这将会改变

许可证：MIT

一个简单的库，包含一些用于处理范围和范围集合的样板代码

目前每个集合操作都依赖于 RangeSet::union 和 RangeSet::invert 的混合，因为这两者是实现其他所有操作所需的唯一两个操作。

这也减少了错误的机会，因为只有两个函数需要证明是正确的。

将来这将会改变

~250KB