PersistentQueue (B2R2)

PersistentQueue Module

Provides functions to create or manipulate persistent queues.

Function or value	Description
`PersistentQueue.dequeue q` Full Usage: `PersistentQueue.dequeue q` Parameters: q : `PersistentQueue<'a>` 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: q : `PersistentQueue<'a>` elt : `'a` 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: pred : `'a -> bool` q : `PersistentQueue<'a>` 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: q : `PersistentQueue<'a>` Returns: `bool`	Check if the given queue is empty. q : `PersistentQueue<'a>` Returns: `bool`