A helper module for RandomAccessQueue<'a>.
Function or value | Description |
Full Usage:
RandomAccessQueue.concat arg1 arg2
Parameters:
RandomAccessQueue<'a>
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
|
|
Full Usage:
RandomAccessQueue.dequeue q
Parameters:
RandomAccessQueue<'a>
Returns: 'a * RandomAccessQueue<'a>
|
|
|
|
Full Usage:
RandomAccessQueue.enqueue v arg2
Parameters:
'a
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
|
|
Full Usage:
RandomAccessQueue.find pred arg2
Parameters:
'a -> bool
arg1 : RandomAccessQueue<'a>
Returns: int option
|
|
Full Usage:
RandomAccessQueue.findBack pred arg2
Parameters:
'a -> bool
arg1 : RandomAccessQueue<'a>
Returns: int option
|
|
|
|
|
|
Full Usage:
RandomAccessQueue.insertAt i v q
Parameters:
uint32
v : 'a
q : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
|
|
|
|
|
|
Full Usage:
RandomAccessQueue.splitAt i arg2
Parameters:
uint32
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a> * RandomAccessQueue<'a>
|
Split the queue based on the given index into two (left and right). The left queue will contain the entry at the given index.
|
Full Usage:
RandomAccessQueue.tail arg1
Parameters:
RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
|
|
Full Usage:
RandomAccessQueue.tailr arg1
Parameters:
RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>
|
|
|
|