Function or value | Description |
|
|
Full Usage:
SkewBinomialHeap.empty descending
Parameters:
bool
Returns: 'a SkewBinomialHeap
|
|
|
|
Full Usage:
SkewBinomialHeap.insert x xs
Parameters:
'T
xs : 'T SkewBinomialHeap
Returns: 'T SkewBinomialHeap
|
|
|
O(1) - Returns true if a call to head of tryHead would return the maximum element in the collection. Returns false if the element at the head is the minimum.
|
|
|
|
|
Full Usage:
SkewBinomialHeap.merge xs ys
Parameters:
'T SkewBinomialHeap
ys : 'T SkewBinomialHeap
Returns: 'T SkewBinomialHeap
|
O(log n) - Returns a new heap with the elements of both heaps. The two heaps must have the same isDescending value.
|
Full Usage:
SkewBinomialHeap.ofSeq descending s
Parameters:
bool
s : seq<'a>
Returns: 'a SkewBinomialHeap
|
|
Full Usage:
SkewBinomialHeap.tail xs
Parameters:
'T SkewBinomialHeap
Returns: 'T SkewBinomialHeap
|
|
|
|
|
|
|
O(log n) - Returns Some x where x is the element at the front. Returns None if the collection is empty.
|
Full Usage:
SkewBinomialHeap.tryMerge xs ys
Parameters:
'T SkewBinomialHeap
ys : 'T SkewBinomialHeap
Returns: 'T SkewBinomialHeap option
|
O(log n) - Returns Some h where h is the merged heap, is both original heaps have the same isDescending value. Returns None if isDescending is different in the heaps supplied.
|
Full Usage:
SkewBinomialHeap.tryTail xs
Parameters:
'T SkewBinomialHeap
Returns: 'T SkewBinomialHeap option
|
O(log n) - Returns Some h where h is the heap with the front (head) element removed. Returns None if the collection is empty.
|
Full Usage:
SkewBinomialHeap.tryUncons xs
Parameters:
'T SkewBinomialHeap
Returns: ('T * 'T SkewBinomialHeap) option
|
O(log n) - Returns Some (h, t) where h is the head and t is the tail. Returns None if the collection is empty.
|
Full Usage:
SkewBinomialHeap.uncons xs
Parameters:
'T SkewBinomialHeap
Returns: 'T * 'T SkewBinomialHeap
|
|
Active pattern | Description |
Full Usage:
SkewBinomialHeap.(|Cons|Nil|) heap
Parameters:
'T SkewBinomialHeap
Returns: Choice<('T * 'T SkewBinomialHeap), unit>
|
|