14.4.106  Typelocked_Priority_Queue

The standard library Typelocked_Priority_Queue api defines access to priority queue implementations specialized to a particular key type.

Implementations of the Typelocked_Priority_Queue api may be generated via leftist_heap_priority_queue_g in src/lib/src/leftist-heap-priority-queue-g.pkg.

The Typelocked_Priority_Queue api source code is in src/lib/src/typelocked-priority-queue.api.

See also: Priority_Queue.

The above information is manually maintained and may contain errors.

api {    Item ;
    Queue ;
    empty : Queue;
    singleton : Item -> Queue;
    from_list : List(Item ) -> Queue;
    set : (Item , Queue) -> Queue;
    remove : Queue -> (Item , Queue);
    next : Queue -> Null_Or(((Item , Queue)) );
    merge : (Queue , Queue) -> Queue;
    vals_count : Queue -> Int;
    is_empty : Queue -> Bool;
};