You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: core/src/main/java/fj/data/PriorityQueue.java
+16-8Lines changed: 16 additions & 8 deletions
Original file line number
Diff line number
Diff line change
@@ -13,11 +13,15 @@
13
13
importstaticfj.data.List.list;
14
14
15
15
/**
16
-
* A priority queue implementation backed by a {@link fj.data.fingertrees.FingerTree}. The finger tree nodes are annotated with type K, are combined using a monoid of K and both the key and value are stored in the leaf. Priorities of the same value are returned FIFO (first in, first out).
16
+
* A priority queue implementation backed by a
17
+
* {@link fj.data.fingertrees.FingerTree}. The finger tree nodes are
18
+
* annotated with type K, are combined using a monoid of K and both the
19
+
* key and value are stored in the leaf. Priorities of the same value
0 commit comments