MutPriorityQueue
Definitions
def dequeue(pq: MutPriorityQueue[a, r]): Option[a] \ r
SourceRemoves and optionally returns the top element of pq
.
def enqueueAll(pq: MutPriorityQueue[a, r], m: m[a]): Unit \ r
SourceEnqueues each element in l
into pq
.
def iterator(rc: Region[r1], pq: MutPriorityQueue[a, r2]): Iterator[a, r1 + r2, r1] \ r1 + r2
SourceReturns an iterator over pq
.
Modifying pq
during iteration is undefined and not recommended.
def toArray(rc: Region[r1], pq: MutPriorityQueue[a, r2]): Array[a, r1] \ r1 + r2
SourceReturns an Array representation of pq
.
Note that a MutPriorityQueue's element order depends on the order in which the elements were enqueued.
def toList(pq: MutPriorityQueue[a, r]): List[a] \ r
SourceReturns a List representation of pq
.
Note that a MutPriorityQueue's element order depends on the order in which the elements were enqueued.
def toNel(pq: MutPriorityQueue[a, r]): Option[Nel[a]] \ r
SourceOptionally returns a Nel representation of pq
.
def toString(pq: MutPriorityQueue[a, r]): String \ r
SourceReturns a String representation of the mutable priority queue pq
.