Context Navigation

Changes between Version 1 and Version 2 of Proposals/pqueue

v1	v2
74	74	In addition, we offer a few new methods designed to increase flexibility in manipulating the minimum element of the queue, including `getMin` (a Maybe version of `findMin`), `adjustMin` and `adjustMinWithKey` (with type analogous to `Data.Map.adjust`, except that they adjust the minimum element).
75	75
	76	The biggest class of added methods is in methods modeled after the `take` and `takeWhile` family of Data.List methods. The most general examples are
	77
	78	{{{
	79	splitAt :: Int -> MinPQueue k a -> ([(k, a)], MinPQueue k a)
	80	spanWithKey :: Ord k => (k -> a -> Bool) -> MinPQueue k a -> ([(k, a)], MinPQueue k a)
	81	}}}
	82
	83	In general, when we do a `take`-like method, we get an association list, and when we do a `drop`-like method, we get a queue.
	84
76	85	Finally, we offer a number of unordered traversal methods, all of the form `xxxU` to indicate that they do not respect order. In most cases, they are asymptotically faster than the ordered traversal methods, and the speed advantage is the primary reason to allow this violation of the priority queue abstraction.
	86
	87	The situation for Data.PQueue.Min (and Data.PQueue.Max) is essentially analogous to Data.Set. The most prominent change is that `foldrAsc` and `foldlDesc` methods are offered instead of a `Foldable` instance, which would be impossible due to the `Ord` constraints.
77	88
78	89	= Important design decisions =