Header menu logo B2R2

RandomAccessQueue Module

Provides functions for creating or manipulating random access queues.

Functions and values

Function or value Description

RandomAccessQueue.concat arg1 arg2

Full Usage: RandomAccessQueue.concat arg1 arg2

Parameters:
Returns: RandomAccessQueue<'a>

Concatenates two queues.

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

RandomAccessQueue.dequeue q

Full Usage: RandomAccessQueue.dequeue q

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

Removes an item from the queue.

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>

Adds an item to the queue.

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

RandomAccessQueue.find pred arg2

Full Usage: RandomAccessQueue.find pred arg2

Parameters:
Returns: int option

Finds the first element that satisfies the given predicate.

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

RandomAccessQueue.findBack pred arg2

Full Usage: RandomAccessQueue.findBack pred arg2

Parameters:
Returns: int option

Finds the last element that satisfies the given predicate.

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

RandomAccessQueue.head arg1

Full Usage: RandomAccessQueue.head arg1

Parameters:
Returns: 'a

Returns the first element of the queue.

arg0 : RandomAccessQueue<'a>
Returns: 'a

RandomAccessQueue.headr arg1

Full Usage: RandomAccessQueue.headr arg1

Parameters:
Returns: 'a

Returns the last element of the queue.

arg0 : RandomAccessQueue<'a>
Returns: 'a

RandomAccessQueue.insertAt i v q

Full Usage: RandomAccessQueue.insertAt i v q

Parameters:
Returns: RandomAccessQueue<'a>

Inserts an element at the given index.

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

RandomAccessQueue.isEmpty q

Full Usage: RandomAccessQueue.isEmpty q

Parameters:
Returns: bool

Checks if the given queue is empty.

q : RandomAccessQueue<'a>
Returns: bool

RandomAccessQueue.length arg1

Full Usage: RandomAccessQueue.length arg1

Parameters:
Returns: int

Returns the length of the queue.

arg0 : RandomAccessQueue<'a>
Returns: int

RandomAccessQueue.splitAt i arg2

Full Usage: RandomAccessQueue.splitAt i arg2

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

Splits 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>

Returns the tail of the queue.

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

RandomAccessQueue.tailr arg1

Full Usage: RandomAccessQueue.tailr arg1

Parameters:
Returns: RandomAccessQueue<'a>

Returns the tail of the queue in reverse order.

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

RandomAccessQueue.toList arg1

Full Usage: RandomAccessQueue.toList arg1

Parameters:
Returns: 'a list

Converts the queue to a list.

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

Type something to start searching.