Haskell: Как совместить скалярные и монадические значения?

Question

В настоящее время я возился с проблемой haskell относительно 2D ST-массива и рекурсии.

Учитывая позицию 2D и массив направлений, я написал строку, возвращающую список всех полученных точек внутри массива:

let cellsAround = [resPt | dir <- directions, 
         let resPt = (fst dir + fst point, snd dir + snd point), 
         fst resPt >= 0 && fst resPt <= fst maxIdx && 
         snd resPt >= 0 && snd resPt <= snd maxIdx] 

Теперь цель состоит в том, чтобы обогатить получившиеся элементы списка с содержимым массив и я попробовал это:

cellsAround <- sequence [readArray board resPt | dir <- directions, 
         let resPt = (fst dir + fst point, snd dir + snd point), 
         fst resPt >= 0 && fst resPt <= fst maxIdx && 
         snd resPt >= 0 && snd resPt <= snd maxIdx] 

Это также отлично работает. Но цель состоит в том, чтобы получить комбинацию обоих [(Point, Int)], потому что я должен фильтровать содержимое массива.

Любые идеи, как совместить это, скажем

(resPt, readArray board resPt) 

?

Answer 1

Минимальное изменение:

sequence [(,) resPt <$> readArray board resPt 
     | ...