#partial #statement #domain #match #subset #test #value

partial_fn

从一系列的匹配语句构建部分函数

1 个不稳定版本

0.1.0 2023年10月31日

#37#subset

MIT 许可证

8KB
99 代码行

partial_fn

类型为 PartialFn<A,B> 的部分函数是一个定义域为 A 的子集的单变量函数。除了可以调用 PartialFn,还提供了一个 is_defined_at 方法来测试给定的 PartialFn 是否在特定值上有定义。

许可证: MIT


lib.rs:

类型为 PartialFn<A,B> 的部分函数是一个定义域为 A 的子集的单变量函数。除了可以调用 PartialFn,还提供了一个 is_defined_at 方法来测试给定的 PartialFn 是否在特定值上有定义。

无运行时依赖

功能