Data.Vector.Mutable.PushBack

This module provides a variant of the vector, equipped with push_back operation. IOVector here are supposed to be used in single thread situation.

Documentation

data IOVector a

IOVector consists of (1) pointer to the underlying vector (2) length While Vector has the underlying array itself, this type only has the pointer. This means read/write should be slower than the original vector.

Constructors

IOVector !(IORef (IOVector a)) !(IOVector Int)

new :: Int -> IO (IOVector a)

read :: IOVector a -> Int -> IO a

safeLength :: IOVector a -> IO Int

Get the position of the last cell in the IOVector. This operation is not safe because of the unsafePerformIO.

length :: IOVector a -> Int

safeCapacity :: IOVector a -> IO Int

capacity :: IOVector a -> Int

Get the capacity of the IOVector. This operation is not safe because of the unsafePerformIO.

write :: IOVector a -> Int -> a -> IO ()

insert

Arguments

:: IOVector a

The vector should have positive (non-zero) length

-> Int

-> a

-> IO ()

O(n) Insert a value into any place. This is a slow operation.

delete :: IOVector a -> Int -> IO ()

O(n) This is a slow operation. This also throws an exception if the specified index does not exist.

push :: IOVector a -> a -> IO ()

fromList :: [a] -> IO (IOVector a)

asIOVector :: IOVector a -> IO (IOVector a)

asUnsafeIOVector :: IOVector a -> IOVector a