    {-# LANGUAGE CPP, Trustworthy #-}
    -----------------------------------------------------------------------------
    -- |
    -- Module      :  Data.Array.MArray.Safe
    -- Copyright   :  (c) The University of Glasgow 2001
    -- License     :  BSD-style (see the file libraries/base/LICENSE)
    --
    -- Maintainer  :  libraries@haskell.org
    -- Stability   :  experimental
    -- Portability :  non-portable (uses Data.Array.Base)
    --
    -- An overloaded interface to mutable arrays.  For array types which can be
    -- used with this interface, see "Data.Array.IO", "Data.Array.ST",
    -- and "Data.Array.Storable".
    -- .
    -- Safe API only of "Data.Array.MArray".
    --
    -- @since 0.4.0.0
    -----------------------------------------------------------------------------

    module Data.Array.MArray.Safe (
        -- * Class of mutable array types
        MArray,       -- :: (* -> * -> *) -> * -> (* -> *) -> class

        -- * The @Ix@ class and operations
        module Data.Ix,

        -- * Constructing mutable arrays
        newArray,     -- :: (MArray a e m, Ix i) => (i,i) -> e -> m (a i e)
        newArray_,    -- :: (MArray a e m, Ix i) => (i,i) -> m (a i e)
        newListArray, -- :: (MArray a e m, Ix i) => (i,i) -> [e] -> m (a i e)

        -- * Reading and writing mutable arrays
        readArray,    -- :: (MArray a e m, Ix i) => a i e -> i -> m e
        writeArray,   -- :: (MArray a e m, Ix i) => a i e -> i -> e -> m ()

        -- * Derived arrays
        mapArray,     -- :: (MArray a e' m, MArray a e m, Ix i) => (e' -> e) -> a i e' -> m (a i e)
        mapIndices,   -- :: (MArray a e m, Ix i, Ix j) => (i,i) -> (i -> j) -> a j e -> m (a i e)

        -- * Deconstructing mutable arrays
        getBounds,    -- :: (MArray a e m, Ix i) => a i e -> m (i,i)
        getElems,     -- :: (MArray a e m, Ix i) => a i e -> m [e]
        getAssocs,    -- :: (MArray a e m, Ix i) => a i e -> m [(i, e)]

        -- * Conversions between mutable and immutable arrays
        freeze,       -- :: (Ix i, MArray a e m, IArray b e) => a i e -> m (b i e)
        thaw,         -- :: (Ix i, IArray a e, MArray b e m) => a i e -> m (b i e)
      ) where

    import Data.Ix
    import Data.Array.Base
    #ifdef __HADDOCK__
    import Data.Array.IArray
    #endif