DList Module
Functions and values
| Function or value | Description |
|
O(1). Returns a new DList of two lists.
|
|
O(1). Returns a new DList with the element added to the end.
|
|
O(1). Returns a new DList with the element added to the beginning.
|
|
O(1). Returns DList of no elements.
|
Full Usage:
DList.fold arg1 arg2 arg3
Parameters:
'State -> 'T -> 'State
arg1 : 'State
arg2 : DList<'T>
Returns: 'State
|
|
Full Usage:
DList.foldBack arg1 arg2 arg3
Parameters:
'T -> 'State -> 'State
arg1 : DList<'T>
arg2 : 'State
Returns: 'State
|
O(n). Fold walks the DList using constant stack space. Implementation is from Norman Ramsey. See http://stackoverflow.com/questions/5324623/functional-o1-append-and-on-iteration-from-first-element-list-data-structure/5334068#5334068
|
|
O(log n). Returns the first element.
|
|
O(1). Returns true if the DList has no elements.
|
|
O(1). Returns the count of elememts.
|
|
O(n). Returns a DList of the seq.
|
|
O(n). Returns a pairwise DList of elements.
|
|
O(1). Returns DList of one elements.
|
|
O(log n). Returns a new DList of the elements trailing the first element.
|
|
O(n). Returns a list of the DList elements.
|
|
O(n). Returns a seq of the DList elements.
|
|
O(log n). Returns option first element.
|
|
O(log n). Returns option DList of the elements trailing the first element.
|
|
O(log n). Returns option first element and tail.
|
|
O(log n). Returns the first element and tail.
|