haskell - 具有定义的键顺序的字典类型

Question

我想使用一种类型，其行为类似于用作字典的简单对 [(a,b)] 列表，将 a 类型的键映射到 b 类型的值，同时保持“用户指定”的键的定义顺序。 (即就像普通列表一样 - 我希望能够“附加”一个项目，然后将其识别为“最后一个元素”。)但是我希望随机访问查找具有优于线性性能的键，即 Data.Map提供。除了定义其顺序的键列表之外，一种选择是仅维护一个普通映射:

data OrderedDict a b = OrderedDict (Map a b) [a]

然后定义 append 操作等，使两个 key 集合保持同步。维护相同键的两个单独集合似乎很难看。是否有现成的数据类型已经将有序键与高效的随机访问键查找相结合？

Answer 1

看看ixset库 - 它允许您维护由多列索引的集合(由 a 和 Int 在您的情况下)。这比手动保持 map 一致更易于维护