B2R2


RandomAccessQueue Module

A helper module for RandomAccessQueue<'a>.

Functions and values

Function or value Description

RandomAccessQueue.concat arg1 arg2

Full Usage: RandomAccessQueue.concat arg1 arg2

Parameters:
Returns: RandomAccessQueue<'a>
arg0 : RandomAccessQueue<'a>
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>

RandomAccessQueue.dequeue q

Full Usage: RandomAccessQueue.dequeue q

Parameters:
Returns: 'a * RandomAccessQueue<'a>
q : RandomAccessQueue<'a>
Returns: 'a * RandomAccessQueue<'a>

RandomAccessQueue.empty

Full Usage: RandomAccessQueue.empty

Returns: RandomAccessQueue<'a>

Empty interval tree.

Returns: RandomAccessQueue<'a>

RandomAccessQueue.enqueue v arg2

Full Usage: RandomAccessQueue.enqueue v arg2

Parameters:
Returns: RandomAccessQueue<'a>
v : 'a
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>

RandomAccessQueue.find pred arg2

Full Usage: RandomAccessQueue.find pred arg2

Parameters:
Returns: int option
pred : 'a -> bool
arg1 : RandomAccessQueue<'a>
Returns: int option

RandomAccessQueue.findBack pred arg2

Full Usage: RandomAccessQueue.findBack pred arg2

Parameters:
Returns: int option
pred : 'a -> bool
arg1 : RandomAccessQueue<'a>
Returns: int option

RandomAccessQueue.head arg1

Full Usage: RandomAccessQueue.head arg1

Parameters:
Returns: 'a
arg0 : RandomAccessQueue<'a>
Returns: 'a

RandomAccessQueue.headr arg1

Full Usage: RandomAccessQueue.headr arg1

Parameters:
Returns: 'a
arg0 : RandomAccessQueue<'a>
Returns: 'a

RandomAccessQueue.insertAt i v q

Full Usage: RandomAccessQueue.insertAt i v q

Parameters:
Returns: RandomAccessQueue<'a>
i : uint32
v : 'a
q : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>

RandomAccessQueue.isEmpty q

Full Usage: RandomAccessQueue.isEmpty q

Parameters:
Returns: bool
q : RandomAccessQueue<'a>
Returns: bool

RandomAccessQueue.length arg1

Full Usage: RandomAccessQueue.length arg1

Parameters:
Returns: int
arg0 : RandomAccessQueue<'a>
Returns: int

RandomAccessQueue.splitAt i arg2

Full Usage: RandomAccessQueue.splitAt i arg2

Parameters:
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.

i : uint32
arg1 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a> * RandomAccessQueue<'a>

RandomAccessQueue.tail arg1

Full Usage: RandomAccessQueue.tail arg1

Parameters:
Returns: RandomAccessQueue<'a>
arg0 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>

RandomAccessQueue.tailr arg1

Full Usage: RandomAccessQueue.tailr arg1

Parameters:
Returns: RandomAccessQueue<'a>
arg0 : RandomAccessQueue<'a>
Returns: RandomAccessQueue<'a>

RandomAccessQueue.toList arg1

Full Usage: RandomAccessQueue.toList arg1

Parameters:
Returns: 'a list
arg0 : RandomAccessQueue<'a>
Returns: 'a list