Simulation.Aivika.Vector

Tested with: GHC 7.6.3

An imperative vector.

Documentation

data Vector a

Represents a resizable vector.

Instances

EnqueueStrategy SIRO Vector

DequeueStrategy SIRO Vector

QueueStrategy SIRO Vector

newVector :: IO (Vector a)

Create a new vector.

copyVector :: Vector a -> IO (Vector a)

Copy the vector.

vectorCount :: Vector a -> IO Int

Return the element count.

appendVector :: Vector a -> a -> IO ()

Add the specified element to the end of the vector.

readVector :: Vector a -> Int -> IO a

Read a value from the vector, where indices are started from 0.

writeVector :: Vector a -> Int -> a -> IO ()

Set an array item at the specified index which is started from 0.

vectorBinarySearch :: Ord a => Vector a -> a -> IO Int

Return the index of the specified element using binary search; otherwise, a negated insertion index minus one: 0 -> -0 - 1, ..., i -> -i - 1, ....

vectorInsert :: Vector a -> Int -> a -> IO ()

Insert the element in the vector at the specified index.

vectorDeleteAt :: Vector a -> Int -> IO ()

Delete the element at the specified index.

vectorIndex :: Eq a => Vector a -> a -> IO Int

Return the index of the item or -1.

freezeVector :: Vector a -> IO (Array Int a)

Return the elements of the vector in an immutable array.