Index
| empty | Data.MeldableHeap |
| extractMin | Data.MeldableHeap |
| findMin | Data.MeldableHeap |
| insert | Data.MeldableHeap |
| meld | Data.MeldableHeap |
| PQ | Data.MeldableHeap |
| toList | Data.MeldableHeap |
meldable-heap-1.0: Asymptotically optimal, Coq-verified meldable heaps, AKA priority queues
Index
| empty | Data.MeldableHeap |
| extractMin | Data.MeldableHeap |
| findMin | Data.MeldableHeap |
| insert | Data.MeldableHeap |
| meld | Data.MeldableHeap |
| PQ | Data.MeldableHeap |
| toList | Data.MeldableHeap |