是否有基于Fibonacci堆的Haskell优先级队列？

Question

是否有适用于Haskell的Fibonacci堆/优先级队列？ （或者甚至是渐近更好的一个？）我在this question中找到了各种优先级队列实现的列表，但是我找不到它们是否满足Fibonacci堆的摊销运行时间：

• 查找最小值为 O（1）摊销时间。
• 操作插入，减少键和合并（联合）工作是 O（1）摊销时间。
• 操作删除和删除最小值为 O（log n）摊销时间。

请参阅the comparison of theoretic bounds。

Answer 1

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