Data.Array.IO.Internals

Mutable boxed and unboxed arrays in the IO monad.

Documentation

newtype IOArray i e

An IOArray is a mutable, boxed, non-strict array in the IO monad. The type arguments are as follows:

• i: the index type of the array (should be an instance of Ix)
• e: the element type of the array.

Constructors

IOArray (STArray RealWorld i e)

Instances

Typeable2 IOArray

MArray IOArray e IO

Eq (IOArray i e)

newtype IOUArray i e

Mutable, unboxed, strict arrays in the IO monad. The type arguments are as follows:

• i: the index type of the array (should be an instance of Ix)
• e: the element type of the array. Only certain element types are supported: see Data.Array.MArray for a list of instances.

Constructors

IOUArray (STUArray RealWorld i e)

Instances

Typeable2 IOUArray

MArray IOUArray Bool IO

MArray IOUArray Char IO

MArray IOUArray Double IO

MArray IOUArray Float IO

MArray IOUArray Int IO

MArray IOUArray Int8 IO

MArray IOUArray Int16 IO

MArray IOUArray Int32 IO

MArray IOUArray Int64 IO

MArray IOUArray Word IO

MArray IOUArray Word8 IO

MArray IOUArray Word16 IO

MArray IOUArray Word32 IO

MArray IOUArray Word64 IO

MArray IOUArray (StablePtr a) IO

MArray IOUArray (Ptr a) IO

MArray IOUArray (FunPtr a) IO

Eq (IOUArray i e)

castIOUArray :: IOUArray ix a -> IO (IOUArray ix b)

Casts an IOUArray with one element type into one with a different element type. All the elements of the resulting array are undefined (unless you know what you're doing...).

unsafeThawIOUArray :: Ix ix => UArray ix e -> IO (IOUArray ix e)