haskell - Haskell 是否有基于斐波那契堆的优先级队列？

Question

Haskell 是否有可用的斐波那契堆/优先级队列？（或者甚至是渐近更好的？）我在这个问题中找到了各种优先级队列实现的列表，但我找不到它们是否满足斐波那契堆的摊销运行时间：

• Find-minimum 是O(1)摊销时间。
• 操作插入、减少键和合并（联合）工作是O(1)摊销时间。
• 操作 delete 和 delete minimum 是O(log n)摊销时间。

参见理论界限的比较。

Answer 1

不是斐波那契堆，但同样好： Edward Kmett 的堆，基于 Brodal 堆的 Brodal/Okasaki 持久变体。