Картирование с парами

Question

Я действительно новичок в Haskell, и я застрял в попытке сопоставить первый элемент каждой пары в списке.

Очевидно, что это работает:

map :: (a -> b) -> [a] -> [b] 
map f xs = [f x | x <- xs] 

Но как мне заставить его работать на

map :: (a -> b) -> [(a, Int)] -> [b] 

Я просто хочу, чтобы игнорировать значения Int сейчас и применить е к, как это делает в первом примере. Я пробовал целую вечность, поэтому спасибо за любую помощь.

Answer 1

Ну, если вы не хотите использовать функцию сборки в map, начиная с этого:

map :: (a -> b) -> [a] -> [b] 
map f xs = [f x | x <- xs] 

Чтобы принять список типов [(a, Int)] и использовать только a, вы можете шаблон соответствовать кортеж:

map :: (a -> b) -> [(a, Int)] -> [b] 
map f xs = [f x | (x, y) <- xs] 

Если вы хотите сохранить Int, вы можете положить его обратно вместе после:

map :: (a -> b) -> [(a, Int)] -> [(b, Int)] 
map f xs = [(f x, y) | (x, y) <- xs] 

Но все это немного избыточно. Вы можете сделать то же самое, изменяя аргумент к оригиналу, общий map:

map :: (a -> b) -> [a] -> [b] 
map f xs = [f x | x <- xs] 

mapFst :: (a -> b) -> [(a, Int)] -> [b] 
mapFst f xs = map (f . fst) xs 

mapOnFirst :: (a -> b) -> [(a, Int)] -> [(b, Int)] 
mapOnFirst f xs = map (\(x,y) -> (f x, y)) xs 

Для третьей версии, модуль Control.Arrow стандартной библиотеки дает вам функцию, называемую first, которую можно использовать, чтобы получить тот же эффект:

mapOnFirst :: (a -> b) -> [(a, Int)] -> [(b, Int)] 
mapOnFirst f xs = map (first f) xs 

Ухоженный, да?

Answer 2

mapfst :: (a -> b) -> [(a, c)] -> [b] 
mapfst f = map f . map fst 

читать справа налево: в map fst извлекает все первые значения, то map f применяет функцию к каждому первому значению.

Answer 3

Прямым продолжением того, что у вас уже есть, используя списочные:

map' :: (a -> b) -> [(a, Int)] -> [b] 
map' f xs = [ f x | (x, _) <- xs ]