-
谓词
布尔值谓词函数
-
tracing-capture
捕获跟踪跨度的事件，例如测试
-
swipl
用于构建 SWI-Prolog 扩展和将 SWI-Prolog 嵌入 rust 应用程序的高级库
-
terminus-store
一个三元组存储库
-
grdf
广义 RDF 图和数据集
-
predicates-tree
将布尔值谓词函数的结果作为树渲染
-
geometry-predicates
鲁棒几何谓词的移植
-
pollex
ARM 指令操作器
-
vortex-expr
Vortex 表达式
-
geogram_predicates
Rust 到 Geogram 库的谓词模块的绑定
-
json-predicate
基于 draft-snell-json-07 的 JSON 断言库
-
分区
根据断言就地分割切片
-
过滤器
使用构建器模式构建过滤器/断言
-
hmac-predicate
对查询参数进行 Tower 断言 HMAC 验证
-
detect
使用任意表达式语言标准在你的文件系统上检测文件
-
tt-call
令牌树调用约定
-
split-stream-by
用于将 Stream 按断言分割成两个的流扩展 crate
-
predicates-core
布尔值断言函数的 API
-
slice-ext
对切片和可迭代类型的实用扩展
-
refinement
方便创建类型安全的精炼类型
-
futures-signals-ext
futures-signals 的扩展：带有组合器、启动、由断言驱动的 SignalVec 选择
-
predicate
使用枚举进行断言，支持 & 和 | 操作符
-
谓词检查器
检查如果另一个谓词为真，则该谓词是否为真
-
split-iter
允许分割迭代器
-
find_all
是
Iterator::find的一个（几乎）相同的替代品，它返回一个包含所有满足给定谓词的元素的Option<Vec<usize>>（而不是只有一个） -
is_none_or
Option类型的函数
-
first_order_logic
一阶逻辑
-
detect_rs
使用任意表达式语言标准使用文件系统上的文件
-
enum-methods
为每个枚举变体生成方法
-
telo
Rust中的时序规范
-
retry-predicate
重试谓词
-
tt-equal
宏
tt_equal作为两个标记树是否相等的谓词 -
essential-constraint-vm
基本的约束检查虚拟机
-
drain-while
一个排空迭代器，当谓词变为假时停止
-
基本检查
与验证基本状态转换相关的核心逻辑
-
pint-abi-gen
用于生成 pint ABI 项的 proc-macro
-
take_while_with_failure
添加了一个
take_while_with_failure迭代器，其行为与take_while相同，但还包括第一个失败的元素 -
async_buf_reader_utils
为 async-std crate 的 BufReader 添加了额外的功能
-
jeeves
WIP：自动移动或删除文件
-
banquo-core
为 Banquo 监视器提供核心类型和实现
-
assert_that
用于与布尔值谓词函数一起使用的辅助宏
尝试使用 DuckDuckGo 搜索：搜索.