RIO.Deque

A double-ended queue supporting any underlying vector type and any monad.

This implements a circular double-ended queue with exponential growth.

A Deque specialized to unboxed vectors.

A Deque specialized to storable vectors.

A Deque specialized to boxed vectors.

Create a new, empty Deque

O(1) - Get the number of elements that is currently in the Deque

Pop the first value from the beginning of the Deque

Pop the first value from the end of the Deque

Push a new value to the beginning of the Deque

Push a new value to the end of the Deque

Fold over a Deque, starting at the beginning. Does not modify the Deque.

Fold over a Deque, starting at the end. Does not modify the Deque.

Convert a Deque into a list. Does not modify the Deque.

Convert to an immutable vector of any type. If resulting pure vector corresponds to the mutable one used by the Deque, it will be more efficient to use freezeDeque instead.

Example

>>> :set -XTypeApplications>>> import qualified RIO.Vector.Unboxed as U>>> import qualified RIO.Vector.Storable as S>>> d <- newDeque @U.MVector @Int>>> mapM_ (pushFrontDeque d) [0..10]>>> dequeToVector @S.Vector d[10,9,8,7,6,5,4,3,2,1,0]

Yield an immutable copy of the underlying mutable vector. The difference from dequeToVector is that the the copy will be performed with a more efficient memcpy, rather than element by element. The downside is that the resulting vector type must be the one that corresponds to the mutable one that is used in the Deque.

Example

>>> :set -XTypeApplications>>> import qualified RIO.Vector.Unboxed as U>>> d <- newDeque @U.MVector @Int>>> mapM_ (pushFrontDeque d) [0..10]>>> freezeDeque @U.Vector d[10,9,8,7,6,5,4,3,2,1,0]

Helper function to assist with type inference, forcing usage of an unboxed vector.

Helper function to assist with type inference, forcing usage of a storable vector.

Helper function to assist with type inference, forcing usage of a boxed vector.