Module Data.Array

Implementation of Arrays with Braun Trees. Conceptually, Braun trees are always infinite. Consequently, there is no test on emptiness.

Version: December 2020

Summary of exported operations:

emptyErrorArray :: Array a  Deterministic 
Creates an empty array which generates errors for non-initialized indexes.
emptyDefaultArray :: (Int -> a) -> Array a  Deterministic 
Creates an empty array, call given function for non-initialized indexes.
(//) :: Array a -> [(Int,a)] -> Array a  Deterministic 
Inserts a list of entries into an array.
update :: Array a -> Int -> a -> Array a  Deterministic 
Inserts a new entry into an array.
applyAt :: Array a -> Int -> (a -> a) -> Array a  Deterministic 
Applies a function to an element.
(!) :: Array a -> Int -> a  Deterministic 
Yields the value at a given position.
listToDefaultArray :: (Int -> a) -> [a] -> Array a  Deterministic 
Creates a default array from a list of entries.
listToErrorArray :: [a] -> Array a  Deterministic 
Creates an error array from a list of entries.
combine :: (a -> b -> c) -> Array a -> Array b -> Array c  Deterministic 
combine two arbitrary arrays
combineSimilar :: (a -> a -> a) -> Array a -> Array a -> Array a  Deterministic 
the combination of two arrays with identical default function and a combinator which is neutral in the default can be implemented much more efficient

Exported datatypes:


Array

Constructors:


Exported operations:

emptyErrorArray :: Array a  Deterministic 

Creates an empty array which generates errors for non-initialized indexes.

emptyDefaultArray :: (Int -> a) -> Array a  Deterministic 

Creates an empty array, call given function for non-initialized indexes.

Example call:
(emptyDefaultArray default)
Parameters:
  • default : function to call for each non-initialized index
Further infos:
  • solution complete, i.e., able to compute all solutions

(//) :: Array a -> [(Int,a)] -> Array a  Deterministic 

Inserts a list of entries into an array.

Example call:
(array // modifications)
Parameters:
  • array : array to modify
  • modifications : list of new (indexes,entries) If an index in the list was already initialized, the old value will be overwritten. Likewise the last entry with a given index will be contained in the result array.
Further infos:
  • defined as left-associative infix operator with precedence 9

update :: Array a -> Int -> a -> Array a  Deterministic 

Inserts a new entry into an array.

Example call:
(update array idx val)
Parameters:
  • array : array to modify
  • idx : index of update
  • val : value to update at index idx Entries already initialized will be overwritten.

applyAt :: Array a -> Int -> (a -> a) -> Array a  Deterministic 

Applies a function to an element.

Example call:
(applyAt array idx fun)
Parameters:
  • array : array to modify
  • idx : index of update
  • fun : function to apply on element at index idx

(!) :: Array a -> Int -> a  Deterministic 

Yields the value at a given position.

Example call:
(a ! n)
Parameters:
  • a : array to look up in
  • n : index, where to look
Further infos:
  • defined as left-associative infix operator with precedence 9

listToDefaultArray :: (Int -> a) -> [a] -> Array a  Deterministic 

Creates a default array from a list of entries.

Example call:
(listToDefaultArray def xs)
Parameters:
  • def : default funtion for non-initialized indexes
  • xs : list of entries

listToErrorArray :: [a] -> Array a  Deterministic 

Creates an error array from a list of entries.

Example call:
(listToErrorArray xs)
Parameters:
  • xs : list of entries

combine :: (a -> b -> c) -> Array a -> Array b -> Array c  Deterministic 

combine two arbitrary arrays

combineSimilar :: (a -> a -> a) -> Array a -> Array a -> Array a  Deterministic 

the combination of two arrays with identical default function and a combinator which is neutral in the default can be implemented much more efficient