BankersDeque Module
Functions and values
| Function or value | Description |
Full Usage:
BankersDeque.append xs ys
Parameters:
BankersDeque<'T>
ys : BankersDeque<'T>
Returns: BankersDeque<'T>
|
O(ys-xs). Returns a deque of the two deques concatenated, front-back stream ratio constant defaulted to 2.
|
Full Usage:
BankersDeque.appendC c xs ys
Parameters:
int
xs : BankersDeque<'T>
ys : BankersDeque<'T>
Returns: BankersDeque<'T>
|
O(ys-xs). Returns a deque of the two deques concatenated, c is front-back stream ratio constant, should be at least 2.
|
|
O(1), amortized. Returns a new deque with the element added to the beginning.
|
|
O(1). Returns deque of no elements, c is front-back stream ration constant, should be at least 2.
|
|
O(1), amortized. Returns the first element.
|
|
O(1), amortized. Returns a new deque of the elements before the last element.
|
|
O(1). Returns true if the deque has no elements.
|
|
O(1), amortized. Returns the last element.
|
|
O(1). Returns the count of elements.
|
|
O(n), worst case. Returns element by index.
|
Full Usage:
BankersDeque.ofCatLists xs ys
Parameters:
'a list
ys : 'a list
Returns: BankersDeque<'a>
|
O(ys-xs). Returns a deque of the two lists concatenated, front-back stream ratio constant defaulted to 2.
|
Full Usage:
BankersDeque.ofCatListsC c xs ys
Parameters:
int
xs : 'a list
ys : 'a list
Returns: BankersDeque<'a>
|
O(ys-xs). Returns a deque of the two lists concatenated, c is front-back stream ration constant, should be at least 2.
|
Full Usage:
BankersDeque.ofCatSeqs xs ys
Parameters:
seq<'a>
ys : seq<'a>
Returns: BankersDeque<'a>
|
O(ys). Returns a deque of the two seqs concatenated, front-back stream ratio constant defaulted to 2.
|
Full Usage:
BankersDeque.ofCatSeqsC c xs ys
Parameters:
int
xs : seq<'a>
ys : seq<'a>
Returns: BankersDeque<'a>
|
O(ys). Returns a deque of the two seqs concatenated, c is front-back stream ratio constant, should be at least 2.
|
|
O(1). Returns a deque of the seq, front-back stream ratio constant defaulted to 2.
|
|
O(1). Returns a deque of the seq, c is front-back stream ratio constant, should be at least 2.
|
Full Usage:
BankersDeque.remove i q
Parameters:
int
q : BankersDeque<'T>
Returns: BankersDeque<'T>
|
O(n), worst case. Returns deque with element removed by index.
|
|
O(1). Returns deque reversed.
|
|
O(1). Returns a deque of one element, front-back stream ratio constant defaulted to 2.
|
|
O(1). Returns a deque of one element, c is front-back stream ratio constant, should be at least 2.
|
|
O(1), amortized. Returns a new deque with the element added to the end.
|
|
O(1), amortized. Returns a new deque of the elements trailing the first element.
|
|
O(1), amortized. Returns option first element.
|
Full Usage:
BankersDeque.tryGetInit q
Parameters:
BankersDeque<'T>
Returns: BankersDeque<'T> option
|
O(1), amortized. Returns option deque of the elements before the last element.
|
|
O(1), amortized. Returns option last element.
|
Full Usage:
BankersDeque.tryGetTail q
Parameters:
BankersDeque<'T>
Returns: BankersDeque<'T> option
|
O(1), amortized. Returns option deque of the elements trailing the first element.
|
|
O(n), worst case. Returns option element by index.
|
Full Usage:
BankersDeque.tryRemove i q
Parameters:
int
q : BankersDeque<'T>
Returns: BankersDeque<'T> option
|
O(n), worst case. Returns option deque with element removed by index.
|
Full Usage:
BankersDeque.tryUncons q
Parameters:
BankersDeque<'T>
Returns: ('T * BankersDeque<'T>) option
|
O(1), amortized. Returns option first element and tail.
|
Full Usage:
BankersDeque.tryUnsnoc q
Parameters:
BankersDeque<'T>
Returns: (BankersDeque<'T> * 'T) option
|
O(1), amortized. Returns option init and the last element.
|
Full Usage:
BankersDeque.tryUpdate i y q
Parameters:
int
y : 'T
q : BankersDeque<'T>
Returns: BankersDeque<'T> option
|
O(n), worst case. Returns option deque with element updated by index.
|
|
O(1), amortized. Returns the first element and tail.
|
|
O(1), amortized. Returns init and the last element.
|
Full Usage:
BankersDeque.update i y q
Parameters:
int
y : 'T
q : BankersDeque<'T>
Returns: BankersDeque<'T>
|
O(n), worst case. Returns deque with element updated by index.
|
Active patterns
| Active pattern | Description |
Full Usage:
BankersDeque.(|Cons|Nil|) q
Parameters:
BankersDeque<'T>
Returns: Choice<('T * BankersDeque<'T>), unit>
|
|
Full Usage:
BankersDeque.(|Snoc|Nil|) q
Parameters:
BankersDeque<'T>
Returns: Choice<(BankersDeque<'T> * 'T), unit>
|
|