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