Defines functions which allow to access and manipulate RandomAccessLists.
Function or value | Description |
Full Usage:
RandomAccessList.append arg1 arg2
Parameters:
RandomAccessList<'T>
arg1 : RandomAccessList<'T>
Returns: RandomAccessList<'T>
|
O(n). Returns a new random access list with the elements of the second random access list added at the end.
|
Full Usage:
RandomAccessList.cons arg1 arg2
Parameters:
'T
arg1 : RandomAccessList<'T>
Returns: RandomAccessList<'T>
|
|
|
|
Full Usage:
RandomAccessList.fold arg1 arg2 arg3
Parameters:
'State -> 'T -> 'State
arg1 : 'State
arg2 : RandomAccessList<'T>
Returns: 'State
|
|
Full Usage:
RandomAccessList.foldBack arg1 arg2 arg3
Parameters:
'T -> 'State -> 'State
arg1 : RandomAccessList<'T>
arg2 : 'State
Returns: 'State
|
|
|
O(1). Returns the first element in the random access list. If the random access list is empty it throws an exception.
|
Full Usage:
RandomAccessList.init arg1 arg2
Parameters:
int
arg1 : int -> 'T
Returns: RandomAccessList<'T>
|
O(n). Returns a random access list of the supplied length using the supplied function operating on the index.
|
|
|
|
|
Full Usage:
RandomAccessList.map arg1 arg2
Parameters:
'T -> 'T1
arg1 : RandomAccessList<'T>
Returns: RandomAccessList<'T1>
|
O(n). Returns a random access list whose elements are the results of applying the supplied function to each of the elements of a supplied random access list.
|
Full Usage:
RandomAccessList.map2 arg1 randomAccessList1 randomAccessList2
Parameters:
'T1 -> 'T2 -> 'U
randomAccessList1 : RandomAccessList<'T1>
randomAccessList2 : RandomAccessList<'T2>
Returns: RandomAccessList<'U>
|
O(n). Builds a new collection whose elements are the results of applying the given function to the corresponding elements of the two collections pairwise. The two input arrays must have the same lengths, otherwise ArgumentException is raised.
|
Full Usage:
RandomAccessList.nth arg1 arg2
Parameters:
int
arg1 : RandomAccessList<'T>
Returns: 'T
|
|
Full Usage:
RandomAccessList.nthNth arg1 arg2 arg3
Parameters:
int
arg1 : int
arg2 : RandomAccessList<RandomAccessList<'T>>
Returns: 'T
|
O(log32(m,n)). Returns the value at the outer index, inner index. If either index is out of bounds it throws an exception.
|
|
|
Full Usage:
RandomAccessList.reduce f randomAccessList
Parameters:
'T -> 'T -> 'T
randomAccessList : RandomAccessList<'T>
Returns: 'T
|
O(n). Applies a function to each element of the collection, threading an accumulator argument through the computation. This function first applies the function to the first two elements of the list. Then, it passes this result into the function along with the third element and so on. Finally, it returns the final result. If the input function is f and the elements are i0...iN, then it computes f (... (f i0 i1) i2 ...) iN.
|
Full Usage:
RandomAccessList.rev arg1
Parameters:
RandomAccessList<'T>
Returns: RandomAccessList<'T>
|
|
|
|
Full Usage:
RandomAccessList.tail arg1
Parameters:
RandomAccessList<'T>
Returns: RandomAccessList<'T>
|
O(1) for all practical purposes; really O(log32n). Returns a new random access list without the first item. If the collection is empty it throws an exception.
|
|
|
Full Usage:
RandomAccessList.tryHead arg1
Parameters:
RandomAccessList<'T>
Returns: 'T option
|
|
Full Usage:
RandomAccessList.tryNth arg1 arg2
Parameters:
int
arg1 : RandomAccessList<'T>
Returns: 'T option
|
|
Full Usage:
RandomAccessList.tryNthNth arg1 arg2 arg3
Parameters:
int
arg1 : int
arg2 : RandomAccessList<RandomAccessList<'T>>
Returns: 'T option
|
|
Full Usage:
RandomAccessList.tryTail arg1
Parameters:
RandomAccessList<'T>
Returns: RandomAccessList<'T> option
|
O(1) for all practical purposes; really O(log32n). Returns option random access list without the first item.
|
Full Usage:
RandomAccessList.tryUncons arg1
Parameters:
RandomAccessList<'T>
Returns: ('T * RandomAccessList<'T>) option
|
O(1) for all practical purposes; really O(log32n). Returns option tuple first element and random access list without first item
|
Full Usage:
RandomAccessList.tryUpdate arg1 arg2 arg3
Parameters:
int
arg1 : 'T
arg2 : RandomAccessList<'T>
Returns: RandomAccessList<'T> option
|
O(1) for all practical purposes; really O(log32n). Returns option random access list that contains the given value at the index.
|
Full Usage:
RandomAccessList.tryUpdateNth arg1 arg2 arg3 arg4
Parameters:
int
arg1 : int
arg2 : 'T
arg3 : RandomAccessList<RandomAccessList<'T>>
Returns: RandomAccessList<RandomAccessList<'T>> option
|
|
Full Usage:
RandomAccessList.uncons arg1
Parameters:
RandomAccessList<'T>
Returns: 'T * RandomAccessList<'T>
|
O(1) for all practical purposes; really O(log32n). Returns tuple first element and random access list without first item
|
Full Usage:
RandomAccessList.update arg1 arg2 arg3
Parameters:
int
arg1 : 'T
arg2 : RandomAccessList<'T>
Returns: RandomAccessList<'T>
|
O(1) for all practical purposes; really O(log32n). Returns a new random access list that contains the given value at the index.
|
Full Usage:
RandomAccessList.updateNth arg1 arg2 arg3 arg4
Parameters:
int
arg1 : int
arg2 : 'T
arg3 : RandomAccessList<RandomAccessList<'T>>
Returns: RandomAccessList<RandomAccessList<'T>>
|
O(log32(m,n)). Returns a new random access list of random access lists that contains the given value at the indices.
|
Full Usage:
RandomAccessList.windowSeq arg1 arg2
Parameters:
int
arg1 : seq<'T>
Returns: RandomAccessList<RandomAccessList<'T>>
|
O(n). Returns a random access list of random access lists of given length from the seq. Result may be a jagged random access list.
|
Full Usage:
RandomAccessList.zip randomAccessList1 randomAccessList2
Parameters:
RandomAccessList<'T>
randomAccessList2 : RandomAccessList<'T2>
Returns: RandomAccessList<'T * 'T2>
|
O(n). Combines the two RandomAccessLists into a RandomAccessList of pairs. The two RandomAccessLists must have equal lengths, otherwise an ArgumentException is raised.
|
Active pattern | Description |
Full Usage:
RandomAccessList.(|Cons|Nil|) arg1
Parameters:
RandomAccessList<'T>
Returns: Choice<('T * RandomAccessList<'T>), unit>
|
|