Custom Query (35 matches)

import Data.Array.Repa

arr :: Array U DIM2 Int
arr = fromListUnboxed (Z :. 5 :. 5) [1..25]

combined :: Array U DIM2 Int
combined 
  = computeP $ traverse arr (\_ -> Z :. 4 :. 4 :: DIM2) 
  $ \f (Z :. x :. y) -> sumAllS $ extract f (x,y) (2,2)

extract :: (DIM2 -> Int) -> (Int,Int) -> (Int,Int) -> Array D DIM2 Int
extract lookup (x0,y0) (width,height) 
  = fromFunction bounds 
  $ \sh -> offset lookup sh
    where 
    bounds = Z :. width :. height
    offset :: (DIM2 -> Int) -> DIM2 -> Int
    offset f (Z :. x :. y) = f (Z :. x + x0 :. y + y0)

main = print combined

Grigory Sarnitskiy reports:

Hello! I'm using repa 2.1.1.5, so maybe this issue is gone already.

Nevertheless, repa's Show instance is a bit ambiguous, e.g. show of Maybe (Array DIM1 Int)

"Just Array (Z :. 1) [...]"

Wouldn't it be better to have

"Just (Array (Z :. 1) [...])"

just like elsewhere in Haskell? For example

show $ Just $ Just 5
"Just (Just 5)"

​http://stackoverflow.com/questions/8624760/repa-how-to-make-a-read-instance