src/containers/priority_queue.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/priority_queue.bend as Priority_queue

3 imports

import Base
import ./binary_heap.bend as K
import ./types/binary_heap.bend as E

Templates

template new source · line 6 · raw

@-A:Data -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>

Single-threaded queue API; storage and algorithms are shared with binary_heap.

template qsize source · line 9 · raw

@-A:Data -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A> -> Pair(0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>, Nat)

template put source · line 12 · raw

@-A:Data -> @-cmp:(@_:A -> @_:A -> Cmp) -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A> -> @x:A -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>

template peek source · line 15 · raw

@-A:Data -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A> -> Pair(0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>, Result<&2, &2, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/binary_heap.Error, A>)

template get source · line 18 · raw

@-A:Data -> @-cmp:(@_:A -> @_:A -> Cmp) -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A> -> Pair(0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>, Result<&2, &2, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/binary_heap.Error, A>)

template from_list source · line 21 · raw

@-A:Data -> @-cmp:(@_:A -> @_:A -> Cmp) -> @xs:List<&2, A> -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>

template to_sorted_list source · line 24 · raw

@-A:Data -> @-cmp:(@_:A -> @_:A -> Cmp) -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A> -> Pair(0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.Heap<A>, List<&2, A>)