RealTime queue from Chris Okasaki's "Purely functional data structures" original implementation taken from http://lepensemoi.free.fr/index.php/2010/01/07/real-time-queue
Function or value | Description |
|
|
Full Usage:
RealTimeQueue.exec queue
Parameters:
RealTimeQueue<'a>
Returns: RealTimeQueue<'a>
|
|
|
|
|
|
|
|
Full Usage:
RealTimeQueue.snoc x queue
Parameters:
'a
queue : RealTimeQueue<'a>
Returns: RealTimeQueue<'a>
|
|
Full Usage:
RealTimeQueue.tail queue
Parameters:
RealTimeQueue<'a>
Returns: RealTimeQueue<'a>
|
|
|
|
Full Usage:
RealTimeQueue.tryGetTail queue
Parameters:
RealTimeQueue<'a>
Returns: RealTimeQueue<'a> option
|
|