fsprojects/FSharpx.Collections


DList

Namespace: FSharpx.Collections

Functions and values

Function or valueDescription
append arg1 arg2
Signature: DList<'T> -> DList<'T> -> DList<'T>
Type parameters: 'T

O(1). Returns a new DList of two lists.

conj arg1 arg2
Signature: 'T -> DList<'T> -> DList<'T>
Type parameters: 'T

O(1). Returns a new DList with the element added to the end.

cons arg1 arg2
Signature: 'T -> DList<'T> -> DList<'T>
Type parameters: 'T

O(1). Returns a new DList with the element added to the beginning.

empty
Signature: DList<'T>
Type parameters: 'T

O(1). Returns DList of no elements.

fold arg1 arg2 arg3
Signature: ('State -> 'T -> 'State) -> 'State -> DList<'T> -> 'State
Type parameters: 'State, 'T
foldBack arg1 arg2 arg3
Signature: ('T -> 'State -> 'State) -> DList<'T> -> 'State -> 'State
Type parameters: 'T, '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

head arg1
Signature: DList<'T> -> 'T
Type parameters: 'T

O(log n). Returns the first element.

isEmpty arg1
Signature: DList<'T> -> bool
Type parameters: 'T

O(1). Returns true if the DList has no elements.

length arg1
Signature: DList<'T> -> int
Type parameters: 'T

O(1). Returns the count of elememts.

ofSeq arg1
Signature: seq<'T> -> DList<'T>
Type parameters: 'T

O(n). Returns a DList of the seq.

singleton arg1
Signature: 'T -> DList<'T>
Type parameters: 'T

O(1). Returns DList of one elements.

tail arg1
Signature: DList<'T> -> DList<'T>
Type parameters: 'T

O(log n). Returns a new DList of the elements trailing the first element.

toList arg1
Signature: DList<'T> -> 'T list
Type parameters: 'T

O(n). Returns a list of the DList elements.

toSeq arg1
Signature: DList<'T> -> seq<'T>
Type parameters: 'T

O(n). Returns a seq of the DList elements.

tryHead arg1
Signature: DList<'T> -> 'T option
Type parameters: 'T

O(log n). Returns option first element.

tryTail arg1
Signature: DList<'T> -> DList<'T> option
Type parameters: 'T

O(log n). Returns option DList of the elements trailing the first element.

tryUncons arg1
Signature: DList<'T> -> ('T * DList<'T>) option
Type parameters: 'T

O(log n). Returns option first element and tail.

uncons arg1
Signature: DList<'T> -> 'T * DList<'T>
Type parameters: 'T

O(log n). Returns the first element and tail.

Active patterns

Active patternDescription
( |Cons|Nil| ) arg1
Signature: DList<'T> -> Choice<('T * DList<'T>),unit>
Type parameters: 'T

CompiledName: |Cons|Nil|

Fork me on GitHub