Simulation.Aivika.Trans.ProtoArray.Unboxed

Tested with: GHC 7.8.3

It defines a prototype of all mutable unboxed arrays.

Documentation

class ProtoRefMonad m => ProtoArrayMonad m a where

A monad within which computation we can create and work with the prototype of mutable unboxed arrays.

Associated Types

data ProtoArray m :: * -> *

A prototype of mutable unboxed array.

Methods

protoArrayCount :: ProtoArray m a -> m Int

Return the array size.

newProtoArray :: Session m -> Int -> a -> m (ProtoArray m a)

Create a new ptototype of mutable array by the specified session, size and initial value.

newProtoArray_ :: Session m -> Int -> m (ProtoArray m a)

Create a new ptototype of mutable array by the specified session and size with every element initialised to an undefined value.

readProtoArray :: ProtoArray m a -> Int -> m a

Read an element from the mutable array.

writeProtoArray :: ProtoArray m a -> Int -> a -> m ()

Write the element in the mutable array.

protoArrayToList :: ProtoArray m a -> m [a]

Return a list of the elements.

protoArrayFromList :: [a] -> m (ProtoArray m a)

Create an array by the specified list of elements.

freezeProtoArray :: ProtoArray m a -> m (Array Int a)

Return the elements of the mutable array in an immutable array.

Instances

MArray IOUArray a IO => ProtoArrayMonad IO a