DList<'T> Type
The DList is an implementation of John Hughes' append list. See http://dl.acm.org/citation.cfm?id=8475 for more information. This implementation adds an additional parameter to allow a more efficient calculation of the list length. Note that an alternate form would represent the DList as: type DList<'T> = DList of ('T list -> 'T list) An example can be found at http://stackoverflow.com/questions/5324623/functional-o1-append-and-on-iteration-from-first-element-list-data-structure/5327209#5327209
Union cases
| Union case | Description |
|
|
Full Usage:
Nil
|
|
Full Usage:
Unit 'T
Parameters:
'T
|
|
Instance members
| Instance member | Description |
Full Usage:
this.Head
Returns: 'T
|
O(log n). Returns the first element.
|
Full Usage:
this.IsEmpty
Returns: bool
|
O(1). Returns true if the DList has no elements.
|
Full Usage:
this.Length
Returns: int
|
O(1). Returns the count of elements.
|
|
O(log n). Returns a new DList of the elements trailing the first element.
|
|
|
O(1). Returns a new DList with the element added to the end.
|