HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulearray-0.5.8.0Haskell2010

Data.Array.IO.Internals

Mutable boxed and unboxed arrays in the IO monad.

WARNING

This module is considered internal.

The Package Versioning Policy does not apply.

The contents of this module may change in any way whatsoever and without any warning between minor versions of this package.

Authors importing this module are expected to track development closely.

  • 2 types
  • 3 values
  • Packagearray-0.5.8.0
  • Exports5
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceInternals.hs
newtypenewtype 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

Instances2MArray, Eq
  • MArray IOArray e IODefined in array-0.5.8.0 · Data.Array.Base
  • Eq (IOArray i e)Defined in ghc-internal-9.1003.0 · GHC.Internal.IOArray
newtypenewtype 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

Instances18MArray, Eq, …
valuecastIOUArray :: 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...).