without_front.rdeque: Return a version of an rdeque without the front element
Description
Simply returns a version of the given rdeque without the front element. Results in an error if the structure is empty.
The original rdeque is left alone.
Usage
"without_front"(x, ...)
Arguments
x
rdeque to remove elements from.
...
additional arguments to be passed to or from methods (ignored).
Value
version of the rdeque with the front element removed.
Details
Runs in $O(1)$-amortized time if the rdeque is used non-persistently (see documentation
of rdeque for details). If the given rdeque is empty, an error will be generated.
References
Okasaki, Chris. Purely Functional Data Structures. Cambridge University Press, 1999.