Changes between Version 14 and Version 15 of DataParallel/Regular


Ignore:
Timestamp:
Dec 15, 2009 8:18:53 AM (6 years ago)
Author:
gckeller
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/Regular

    v14 v15  
    7171is necessary to be able to inductively define operations on `Shape`. It should, however, be hidden from the library
    7272user in favour of the common tuple representation.
     73
     74
     75The multiparameter type class `Subshape sh sh'` contains all pairs of shapes `sh` and `sh'`, for which the dimensionality of `sh'` is
     76less than that of `sh`. 
     77{{{
     78class (Shape sh, Shape sh') => Subshape sh sh' where
     79  addDim     :: sh -> sh' -> sh   
     80  modDim     :: sh -> sh' -> sh   
     81  inject     :: sh -> sh' -> sh
     82}}}
     83The method `addDim` adds the sizes of two shapes (or positions of two indices). If `sh'` is a strict subshape of
     84`sh`, the fields of `sh` are copied when no corresponding fields of `sh'` exist, accordingly for `modDim`
     85
    7386
    7487== Operations on Arrays and Delayed Arrays ==