RandomAccessQueue Module
Provides functions for creating or manipulating random access queues.
Functions and values
| Function or value |
Description
|
Full Usage:
RandomAccessQueue.concat arg1 arg2
Parameters:
RandomAccessQueue<'a>
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
Type parameters: 'a |
Concatenates two queues.
|
Full Usage:
RandomAccessQueue.dequeue q
Parameters:
RandomAccessQueue<'a>
Returns: 'a * RandomAccessQueue<'a>
Type parameters: 'a |
Dequeues the oldest element from the queue.
|
|
Returns an empty random access queue.
|
Full Usage:
RandomAccessQueue.enqueue v arg2
Parameters:
'a
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
Type parameters: 'a |
Enqueues an element to the queue.
|
Full Usage:
RandomAccessQueue.getAt i q
Parameters:
int
q : RandomAccessQueue<'a>
Returns: 'a
Type parameters: 'a |
Returns the element at the given index. Raises IndexOutOfRangeException if the index is out of range.
|
Full Usage:
RandomAccessQueue.head q
Parameters:
RandomAccessQueue<'a>
Returns: 'a
Type parameters: 'a |
Returns the first element of the queue. Raises EmptyRandomAccessQueueException if the queue is empty.
|
Full Usage:
RandomAccessQueue.headr q
Parameters:
RandomAccessQueue<'a>
Returns: 'a
Type parameters: 'a |
Returns the last element of the queue. Raises EmptyRandomAccessQueueException if the queue is empty.
|
Full Usage:
RandomAccessQueue.insertAt i v q
Parameters:
int
v : 'a
q : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
Type parameters: 'a |
Inserts an element at the given index. If the index is less than or equal to zero, the element is inserted at the front. If the index is greater than or equal to the queue length, the element is appended at the end.
|
Full Usage:
RandomAccessQueue.isEmpty q
Parameters:
RandomAccessQueue<'a>
Returns: bool
Type parameters: 'a |
|
Full Usage:
RandomAccessQueue.length arg1
Parameters:
RandomAccessQueue<'a>
Returns: int
Type parameters: 'a |
|
Full Usage:
RandomAccessQueue.splitAt i queue
Parameters:
int
queue : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a> * RandomAccessQueue<'a>
Type parameters: 'a |
Splits the queue based on the given index into two (left and right). The
left queue contains the first
|
Full Usage:
RandomAccessQueue.tail q
Parameters:
RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
Type parameters: 'a |
Returns the queue without its first element. Raises EmptyRandomAccessQueueException if the queue is empty.
|
Full Usage:
RandomAccessQueue.tailr q
Parameters:
RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
Type parameters: 'a |
Returns the queue without its last element. Raises EmptyRandomAccessQueueException if the queue is empty.
|
Full Usage:
RandomAccessQueue.toList arg1
Parameters:
RandomAccessQueue<'a>
Returns: 'a list
Type parameters: 'a |
|
Full Usage:
RandomAccessQueue.tryFindIndex pred arg2
Parameters:
'a -> bool
arg1 : RandomAccessQueue<'a>
Returns: int option
Type parameters: 'a |
Finds the index of the first element that satisfies the given predicate.
|
Full Usage:
RandomAccessQueue.tryFindIndexBack pred arg2
Parameters:
'a -> bool
arg1 : RandomAccessQueue<'a>
Returns: int option
Type parameters: 'a |
Finds the index of the last element that satisfies the given predicate.
|
Full Usage:
RandomAccessQueue.tryGetAt i q
Parameters:
int
q : RandomAccessQueue<'a>
Returns: 'a option
Type parameters: 'a |
Returns the element at the given index, or None if the index is out of range.
|
B2R2