1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
{-# LANGUAGE CPP, Trustworthy #-}
-----------------------------------------------------------------------------
-- |
-- Module : Data.Array.MArray
-- 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".
--
-----------------------------------------------------------------------------
module Data.Array.MArray (
-- * 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)
newGenArray, -- :: (MArray a e m, Ix i) => (i,i) -> (i -> m 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 ()
modifyArray,
modifyArray',
-- * Array folds
foldlMArray',
foldrMArray',
mapMArrayM_,
forMArrayM_,
foldlMArrayM',
foldrMArrayM',
-- * 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
|
