cons x q
Signature: x:'T -> q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(1). Returns a new deque with the element added to the beginning.
|
empty ()
Signature: unit -> BatchedDeque<'?14261>
Type parameters: '?14261
|
O(1). Returns deque of no elements.
|
head q
Signature: q:BatchedDeque<'T> -> 'T
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns the first element.
|
init q
Signature: q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns a new deque of the elements before the last element.
|
isEmpty q
Signature: q:BatchedDeque<'T> -> bool
Type parameters: 'T
|
O(1). Returns true if the deque has no elements.
|
last q
Signature: q:BatchedDeque<'T> -> 'T
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns the last element.
|
length q
Signature: q:BatchedDeque<'T> -> int
Type parameters: 'T
|
O(1). Returns the count of elememts.
|
lookup i q
Signature: i:int -> q:BatchedDeque<'T> -> 'T
Type parameters: 'T
|
O(n), worst case. Returns element by index.
|
ofCatLists xs ys
Signature: xs:'?14283 list -> ys:'?14283 list -> BatchedDeque<'?14283>
Type parameters: '?14283
|
O(n), worst case. Returns a deque of the two lists concatenated.
|
ofList xs
Signature: xs:'?14285 list -> BatchedDeque<'?14285>
Type parameters: '?14285
|
O(n), worst case. Returns a deque of the list.
|
ofSeq xs
Signature: xs:seq<'?14287> -> BatchedDeque<'?14287>
Type parameters: '?14287
|
O(n), worst case. Returns a deque of the seq.
|
remove i q
Signature: i:int -> q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(n), worst case. Returns deque with element removed by index.
|
rev q
Signature: q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(1). Returns deque reversed.
|
singleton x
Signature: x:'?14295 -> BatchedDeque<'?14295>
Type parameters: '?14295
|
O(1). Returns a deque of one element.
|
snoc x q
Signature: x:'T -> q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(1). Returns a new deque with the element added to the end.
|
tail q
Signature: q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns a new deque of the elements trailing the first element.
|
tryGetHead q
Signature: q:BatchedDeque<'T> -> 'T option
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns option first element.
|
tryGetInit q
Signature: q:BatchedDeque<'T> -> BatchedDeque<'T> option
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns option deque of the elements before the last element.
|
tryGetLast q
Signature: q:BatchedDeque<'T> -> 'T option
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns option last element.
|
tryGetTail q
Signature: q:BatchedDeque<'T> -> BatchedDeque<'T> option
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns option deque of the elements trailing the first element.
|
tryLookup i q
Signature: i:int -> q:BatchedDeque<'T> -> 'T option
Type parameters: 'T
|
O(n), worst case. Returns option element by index.
|
tryRemove i q
Signature: i:int -> q:BatchedDeque<'T> -> BatchedDeque<'T> option
Type parameters: 'T
|
O(n), worst case. Returns option deque with element removed by index.
|
tryUncons q
Signature: q:BatchedDeque<'T> -> ('T * BatchedDeque<'T>) option
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns option first element and tail.
|
tryUnsnoc q
Signature: q:BatchedDeque<'T> -> (BatchedDeque<'T> * 'T) option
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns option init and the last element.
|
tryUpdate i y q
Signature: i:int -> y:'T -> q:BatchedDeque<'T> -> BatchedDeque<'T> option
Type parameters: 'T
|
O(n), worst case. Returns option deque with element updated by index.
|
uncons q
Signature: q:BatchedDeque<'T> -> 'T * BatchedDeque<'T>
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns the first element and tail.
|
unsnoc q
Signature: q:BatchedDeque<'T> -> BatchedDeque<'T> * 'T
Type parameters: 'T
|
O(1) amortized, O(n), worst case. Returns init and the last element.
|
update i y q
Signature: i:int -> y:'T -> q:BatchedDeque<'T> -> BatchedDeque<'T>
Type parameters: 'T
|
O(n), worst case. Returns deque with element updated by index.
|