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>` Type parameters: 'a	Dequeues the oldest element from the queue. q : `PersistentQueue<'a>` Returns: `'a * PersistentQueue<'a>`
`PersistentQueue.empty` Full Usage: `PersistentQueue.empty` Returns: `PersistentQueue<'a>` Type parameters: 'a	Represents an empty queue. Returns: `PersistentQueue<'a>`
`PersistentQueue.enqueue elt q` Full Usage: `PersistentQueue.enqueue elt q` Parameters: elt : `'a` q : `PersistentQueue<'a>` Returns: `PersistentQueue<'a>` Type parameters: 'a	Enqueues an element to the queue. elt : `'a` q : `PersistentQueue<'a>` Returns: `PersistentQueue<'a>`
`PersistentQueue.filter pred q` Full Usage: `PersistentQueue.filter pred q` Parameters: pred : `'a -> bool` q : `PersistentQueue<'a>` Returns: `PersistentQueue<'a>` Type parameters: 'a	Filters 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` Type parameters: 'a	Checks whether the given queue is empty. q : `PersistentQueue<'a>` Returns: `bool`