Simulation.Aivika.Trans.Vector

Tested with: GHC 7.8.3

It defines a prototype of mutable vectors.

Documentation

data Vector m a

A prototype of mutable vector.

newVector :: ProtoArrayMonad m => Session m -> m (Vector m a)

Create a new vector within the specified simulation session.

copyVector :: ProtoArrayMonad m => Vector m a -> m (Vector m a)

Copy the vector.

vectorCount :: ProtoArrayMonad m => Vector m a -> m Int

Return the element count.

appendVector :: ProtoArrayMonad m => Vector m a -> a -> m ()

Add the specified element to the end of the vector.

readVector :: ProtoArrayMonad m => Vector m a -> Int -> m a

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

writeVector :: ProtoArrayMonad m => Vector m a -> Int -> a -> m ()

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

vectorBinarySearch :: (ProtoArrayMonad m, Ord a) => Vector m a -> a -> m 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 :: ProtoArrayMonad m => Vector m a -> Int -> a -> m ()

Insert the element in the vector at the specified index.

vectorDeleteAt :: ProtoArrayMonad m => Vector m a -> Int -> m ()

Delete the element at the specified index.

vectorIndex :: (ProtoArrayMonad m, Eq a) => Vector m a -> a -> m Int

Return the index of the item or -1.

freezeVector :: ProtoArrayMonad m => Vector m a -> m (Array Int a)

Return the elements of the vector in an immutable array.