1 -----------------------------------------------------------------------------
3 -- Module : Data.Array.IArray
4 -- Copyright : (c) The University of Glasgow 2001
5 -- License : BSD-style (see the file libraries/base/LICENSE)
7 -- Maintainer : libraries@haskell.org
8 -- Stability : experimental
9 -- Portability : non-portable
11 -- Immutable arrays, with an overloaded interface. For array types
12 -- which can be used with this interface, see "Data.Array",
13 -- "Data.Array.Unboxed", and "Data.Array.Diff".
15 -----------------------------------------------------------------------------
17 module Data.Array.IArray (
18 -- * Class of immutable array types
19 IArray, -- :: (* -> * -> *) -> * -> class
21 -- * Class of array types with immutable bounds
22 HasBounds, -- :: (* -> * -> *) -> class
24 -- * Ordinary boxed\/lazy arrays
27 -- * The @Ix@ class and operations
30 -- * Array construction
31 array, -- :: (IArray a e, Ix i) => (i,i) -> [(i, e)] -> a i e
32 listArray, -- :: (IArray a e, Ix i) => (i,i) -> [e] -> a i e
33 accumArray, -- :: (IArray a e, Ix i) => (e -> e' -> e) -> e -> (i,i) -> [(i, e')] -> a i e
36 (!), -- :: (IArray a e, Ix i) => a i e -> i -> e
38 -- * Incremental updates
39 (//), -- :: (IArray a e, Ix i) => a i e -> [(i, e)] -> a i e
40 accum, -- :: (IArray a e, Ix i) => (e -> e' -> e) -> a i e -> [(i, e')] -> a i e
43 amap, -- :: (IArray a e', IArray a e, Ix i) => (e' -> e) -> a i e' -> a i e
44 ixmap, -- :: (IArray a e, Ix i, Ix j) => (i,i) -> (i -> j) -> a j e -> a i e
46 -- * Deconstructing arrays
47 bounds, -- :: (HasBounds a, Ix i) => a i e -> (i,i)
48 indices, -- :: (HasBounds a, Ix i) => a i e -> [i]
49 elems, -- :: (IArray a e, Ix i) => a i e -> [e]
50 assocs, -- :: (IArray a e, Ix i) => a i e -> [(i, e)]
56 import Data.Array (Array)
57 import Data.Array.Base