Haskell- Тип соответствия

Question

Я возникли проблемы с получением на выходе из вспомогательной функции в соответствии с моим вывод функции я использую код ниже:

getSemiDiag :: [[Maybe Player]] -> Int -> Int -> [Maybe Player] 
getSemiDiag [] _ _ = [] 
getSemiDiag (x:xs) start size = if start > (size -1) 
          then [] 
          else (x !! start) : (getSemiDiag xs (start+1) size) 



semiRight :: [[Maybe Player]] -> Int -> Int -> [[Maybe Player]] 
semiRight [] _ _ = [] 
semiRight (x:xs) start size = if start > (size -1) 
          then [] 
          else (getSemiDiag x start size) : (semiRight xs (start+1) size) 

функция semiRight не будет совпадать, несмотря на все мои усилия , Есть предположения?

Answer 1

Судя только по типу, x сопоставляется элементу, который имеет тип [Maybe Player],

вы должны явно передать [х], но не х до getSemiDiag. Кроме того, некоторые скобки являются избыточными.

semiRight :: [[Maybe Player]] -> Int -> Int -> [[Maybe Player]] 
semiRight [] _ _ = [] 
semiRight (x:xs) start size = if start > (size -1) 
          then [] 
          else getSemiDiag [x] start size : semiRight xs (start+1) size 

Почему бы просто не использовать zipWith