B2R2


PersistentQueue Module

Functions and values

Function or value Description

PersistentQueue.dequeue q

Full Usage: PersistentQueue.dequeue q

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

Dequeue an element from the queue.

q : PersistentQueue<'a>
Returns: 'a * PersistentQueue<'a>

PersistentQueue.empty

Full Usage: PersistentQueue.empty

Returns: PersistentQueue<'a>

An empty queue.

Returns: PersistentQueue<'a>

PersistentQueue.enqueue q elt

Full Usage: PersistentQueue.enqueue q elt

Parameters:
Returns: PersistentQueue<'a>

Enqueue an element to the queue.

q : PersistentQueue<'a>
elt : 'a
Returns: PersistentQueue<'a>

PersistentQueue.filter pred q

Full Usage: PersistentQueue.filter pred q

Parameters:
Returns: PersistentQueue<'a>

Filter elements based on the given predicate.

pred : 'a -> bool
q : PersistentQueue<'a>
Returns: PersistentQueue<'a>

PersistentQueue.isEmpty q

Full Usage: PersistentQueue.isEmpty q

Parameters:
Returns: bool

Check if the given queue is empty.

q : PersistentQueue<'a>
Returns: bool