Module priority_queue

Data Types

pqueue() = squeue() | {pqueue, [{priority(), squeue()}]}

priority() = integer() | infinity

squeue() = {queue, [any()], [any()], non_neg_integer()}

filter(Pred::fun((any()) -> boolean()), Q::pqueue()) -> pqueue()

fold(Fun::fun((any(), priority(), A) -> A), A, Q::pqueue()) -> A

from_list(L::[{priority(), any()}]) -> pqueue()

highest(X1::pqueue()) -> priority() | empty

in(Item::any(), Q::pqueue()) -> pqueue()

in(X::any(), Priority::priority(), Q::pqueue()) -> pqueue()

is_empty(X1::pqueue()) -> boolean()

is_queue(X1::any()) -> boolean()

len(X1::pqueue()) -> non_neg_integer()

member(X::any(), Q::pqueue()) -> boolean()

new() -> pqueue()

out(Q::pqueue()) -> {empty | {value, any()}, pqueue()}

out_p(Q::pqueue()) -> {empty | {value, any(), priority()}, pqueue()}

to_list(X1::pqueue()) -> [{priority(), any()}]

Generated by EDoc