Come mappare una funzione sugli elementi di un elenco annidato

Question

Questa è una domanda trival.

Ma qual è il modo standard per mappare una funzione (+1 in questo esempio) nell'elenco nidificato?

map (\x -> map (+1) x) [[1,2,3],[4,5,6]] 

Uso il metodo di cui sopra nel mio codice, ma quale è un buon modo per farlo? C'è qualcosa come un mapNested (+1) [[1,2,3],[4,5,6]] o simile? Ho usato google e hoogle ma ho ottenuto risultati troppo generici.

Answer 1

Ci sono alcuni modi, ma il più evidente è:

Prelude> map (map (+1)) [[1,2,3],[4,5,6]] 
[[2,3,4],[5,6,7]] 

Questa sarebbe la risposta da manuale.

Forse ti piace fare la parte esterna con una lista di comprensione?

Prelude> [ map (+1) xs | xs <- [[1,2,3],[4,5,6]] ] 
[[2,3,4],[5,6,7]] 

O anche il tutto?

Prelude> [ [ x + 1 | x <- xs ] | xs <- [[1,2,3],[4,5,6]] ] 
[[2,3,4],[5,6,7]] 

Answer 2

È necessario composizione delle mappe: (map . map) (+1) [[1,2,3],[4,5,6]]

Answer 3

Non credo che definito in qualsiasi parte della libreria standard, ma è possibile definire come tale:

mapNested :: (a -> b) -> [[a]] -> [[b]] 
mapNested = map . map 

O per renderlo più generico (vale a dire lavorare su altri functors di liste.):

fmapNested :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) 
fmapNested = fmap . fmap 

uso Esempio:

fmapNested (+1) [Some 1, None, Some 3] -- == [Some 2, None, Some 4]