append xs ys
Signature: xs:BankersDeque<'T> -> ys:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(ys-xs). Returns a deque of the two deques concatenated, front-back stream ratio constant defaulted to 2.
|
appendC c xs ys
Signature: c:int -> xs:BankersDeque<'T> -> ys:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(ys-xs). Returns a deque of the two deques concatenated, c is front-back stream ratio constant, should be at least 2.
|
cons x q
Signature: x:'T -> q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(1), amortized. Returns a new deque with the element added to the beginning.
|
empty c
Signature: c:int -> BankersDeque<'?14413>
Type parameters: '?14413
|
O(1). Returns deque of no elements, c is front-back stream ration constant, should be at least 2.
|
head q
Signature: q:BankersDeque<'T> -> 'T
Type parameters: 'T
|
O(1), amortized. Returns the first element.
|
init q
Signature: q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(1), amortized. Returns a new deque of the elements before the last element.
|
isEmpty q
Signature: q:BankersDeque<'T> -> bool
Type parameters: 'T
|
O(1). Returns true if the deque has no elements.
|
last q
Signature: q:BankersDeque<'T> -> 'T
Type parameters: 'T
|
O(1), amortized. Returns the last element.
|
length q
Signature: q:BankersDeque<'T> -> int
Type parameters: 'T
|
O(1). Returns the count of elememts.
|
lookup i q
Signature: i:int -> q:BankersDeque<'T> -> 'T
Type parameters: 'T
|
O(n), worst case. Returns element by index.
|
ofCatLists xs ys
Signature: xs:'?14435 list -> ys:'?14435 list -> BankersDeque<'?14435>
Type parameters: '?14435
|
O(ys-xs). Returns a deque of the two lists concatenated, front-back stream ratio constant defaulted to 2.
|
ofCatListsC c xs ys
Signature: c:int -> xs:'?14437 list -> ys:'?14437 list -> BankersDeque<'?14437>
Type parameters: '?14437
|
O(ys-xs). Returns a deque of the two lists concatenated, c is front-back stream ration constant, should be at least 2.
|
ofCatSeqs xs ys
Signature: xs:seq<'?14439> -> ys:seq<'?14439> -> BankersDeque<'?14439>
Type parameters: '?14439
|
O(ys). Returns a deque of the two seqs concatenated, front-back stream ratio constant defaulted to 2.
|
ofCatSeqsC c xs ys
Signature: c:int -> xs:seq<'?14441> -> ys:seq<'?14441> -> BankersDeque<'?14441>
Type parameters: '?14441
|
O(ys). Returns a deque of the two seqs concatenated, c is front-back stream ratio constant, should be at least 2.
|
ofSeq xs
Signature: xs:seq<'?14443> -> BankersDeque<'?14443>
Type parameters: '?14443
|
O(1). Returns a deque of the seq, front-back stream ratio constant defaulted to 2.
|
ofSeqC c xs
Signature: c:int -> xs:seq<'?14445> -> BankersDeque<'?14445>
Type parameters: '?14445
|
O(1). Returns a deque of the seq, c is front-back stream ratio constant, should be at least 2.
|
remove i q
Signature: i:int -> q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(n), worst case. Returns deque with element removed by index.
|
rev q
Signature: q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(1). Returns deque reversed.
|
singleton x
Signature: x:'?14453 -> BankersDeque<'?14453>
Type parameters: '?14453
|
O(1). Returns a deque of one element, front-back stream ratio constant defaulted to 2.
|
singletonC c x
Signature: c:int -> x:'?14455 -> BankersDeque<'?14455>
Type parameters: '?14455
|
O(1). Returns a deque of one element, c is front-back stream ratio constant, should be at least 2.
|
snoc x q
Signature: x:'T -> q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(1), amortized. Returns a new deque with the element added to the end.
|
tail q
Signature: q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(1), amortized. Returns a new deque of the elements trailing the first element.
|
tryGetHead q
Signature: q:BankersDeque<'T> -> 'T option
Type parameters: 'T
|
O(1), amortized. Returns option first element.
|
tryGetInit q
Signature: q:BankersDeque<'T> -> BankersDeque<'T> option
Type parameters: 'T
|
O(1), amortized. Returns option deque of the elements before the last element.
|
tryGetLast q
Signature: q:BankersDeque<'T> -> 'T option
Type parameters: 'T
|
O(1), amortized. Returns option last element.
|
tryGetTail q
Signature: q:BankersDeque<'T> -> BankersDeque<'T> option
Type parameters: 'T
|
O(1), amortized. Returns option deque of the elements trailing the first element.
|
tryLookup i q
Signature: i:int -> q:BankersDeque<'T> -> 'T option
Type parameters: 'T
|
O(n), worst case. Returns option element by index.
|
tryRemove i q
Signature: i:int -> q:BankersDeque<'T> -> BankersDeque<'T> option
Type parameters: 'T
|
O(n), worst case. Returns option deque with element removed by index.
|
tryUncons q
Signature: q:BankersDeque<'T> -> ('T * BankersDeque<'T>) option
Type parameters: 'T
|
O(1), amortized. Returns option first element and tail.
|
tryUnsnoc q
Signature: q:BankersDeque<'T> -> (BankersDeque<'T> * 'T) option
Type parameters: 'T
|
O(1), amortized. Returns option init and the last element.
|
tryUpdate i y q
Signature: i:int -> y:'T -> q:BankersDeque<'T> -> BankersDeque<'T> option
Type parameters: 'T
|
O(n), worst case. Returns option deque with element updated by index.
|
uncons q
Signature: q:BankersDeque<'T> -> 'T * BankersDeque<'T>
Type parameters: 'T
|
O(1), amortized. Returns the first element and tail.
|
unsnoc q
Signature: q:BankersDeque<'T> -> BankersDeque<'T> * 'T
Type parameters: 'T
|
O(1), amortized. Returns init and the last element.
|
update i y q
Signature: i:int -> y:'T -> q:BankersDeque<'T> -> BankersDeque<'T>
Type parameters: 'T
|
O(n), worst case. Returns deque with element updated by index.
|