[m-rev.] for review: priority search queue ADT

[Matthias Güdemann]

Hi,

here is a new version which includes the changes I described in the last
mail. In particular:

  - the type is now psqueue(P, K), i.e, has the priority as first
    argument, just as pqueue does
  - the argument order of the predicates is now in line with first
    priority then key
  - all predicates which transform a psqueue have the in/out mode
    psqueue pair as last arguments, to allow for state threading

Note, that the sequence of priority and keys is only changed for the
interface; in the implementation, both the internal type representation
and view types have not been changed.

best regards
Matthias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: psqueue.m
Type: application/octet-stream
Size: 28351 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141121/3251e856/attachment.obj>