module - 用不同的元素类型实例化 Data.AVL 模块

Question

Agda 文档提供了一些如何使用该Data.AVL模块的示例：

在示例中，模块在导入时被实例化一次，参数指定存储在树中的值的类型，以及键类型的顺序。

如何在同一个客户端模块中使用不同值类型的 AVL 树（例如字符串树和数字树）？

score 3 · Accepted Answer

3

于 2013-12-27T02:01:05.747 回答

1 回答 1