BatchedDeque Module
Functions and values
| Function or value | Description |
|
O(1). Returns a new deque with the element added to the beginning.
|
|
O(1). Returns deque of no elements.
|
|
O(1) amortized, O(n), worst case. Returns the first element.
|
|
O(1) amortized, O(n), worst case. Returns a new deque of the elements before the last element.
|
|
O(1). Returns true if the deque has no elements.
|
|
O(1) amortized, O(n), worst case. Returns the last element.
|
|
O(1). Returns the count of elements.
|
|
O(n), worst case. Returns element by index.
|
Full Usage:
BatchedDeque.ofCatLists xs ys
Parameters:
'a list
ys : 'a list
Returns: BatchedDeque<'a>
|
O(n), worst case. Returns a deque of the two lists concatenated.
|
|
O(n), worst case. Returns a deque of the list.
|
|
O(n), worst case. Returns a deque of the seq.
|
Full Usage:
BatchedDeque.remove i q
Parameters:
int
q : BatchedDeque<'T>
Returns: BatchedDeque<'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.
|
|
O(1). Returns a new deque with the element added to the end.
|
|
O(1) amortized, O(n), worst case. Returns a new deque of the elements trailing the first element.
|
|
O(1) amortized, O(n), worst case. Returns option first element.
|
Full Usage:
BatchedDeque.tryGetInit q
Parameters:
BatchedDeque<'T>
Returns: BatchedDeque<'T> option
|
O(1) amortized, O(n), worst case. Returns option deque of the elements before the last element.
|
|
O(1) amortized, O(n), worst case. Returns option last element.
|
Full Usage:
BatchedDeque.tryGetTail q
Parameters:
BatchedDeque<'T>
Returns: BatchedDeque<'T> option
|
O(1) amortized, O(n), worst case. Returns option deque of the elements trailing the first element.
|
|
O(n), worst case. Returns option element by index.
|
Full Usage:
BatchedDeque.tryRemove i q
Parameters:
int
q : BatchedDeque<'T>
Returns: BatchedDeque<'T> option
|
O(n), worst case. Returns option deque with element removed by index.
|
Full Usage:
BatchedDeque.tryUncons q
Parameters:
BatchedDeque<'T>
Returns: ('T * BatchedDeque<'T>) option
|
O(1) amortized, O(n), worst case. Returns option first element and tail.
|
Full Usage:
BatchedDeque.tryUnsnoc q
Parameters:
BatchedDeque<'T>
Returns: (BatchedDeque<'T> * 'T) option
|
O(1) amortized, O(n), worst case. Returns option init and the last element.
|
Full Usage:
BatchedDeque.tryUpdate i y q
Parameters:
int
y : 'T
q : BatchedDeque<'T>
Returns: BatchedDeque<'T> option
|
O(n), worst case. Returns option deque with element updated by index.
|
|
O(1) amortized, O(n), worst case. Returns the first element and tail.
|
|
O(1) amortized, O(n), worst case. Returns init and the last element.
|
Full Usage:
BatchedDeque.update i y q
Parameters:
int
y : 'T
q : BatchedDeque<'T>
Returns: BatchedDeque<'T>
|
O(n), worst case. Returns deque with element updated by index.
|
Active patterns
| Active pattern | Description |
Full Usage:
BatchedDeque.(|Cons|Nil|) q
Parameters:
BatchedDeque<'T>
Returns: Choice<('T * BatchedDeque<'T>), unit>
|
|
Full Usage:
BatchedDeque.(|Snoc|Nil|) q
Parameters:
BatchedDeque<'T>
Returns: Choice<(BatchedDeque<'T> * 'T), unit>
|
|