Поиск по списку кортежей

Question

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

search :: a -> [(a,b)] -> Maybe b 
search a (x:xs) = if a == first value in x, return second value in x 
-- If a is not in the list of tuples, return "Nothing" 

Примером этого может быть:

search "x" ([("x", 3), ("z", 5)]) = 3 
search "x" ([("y", 3), ("z", 5)]) = Nothing 

Answer 1

В базовом случае, если список пуст, он возвращает Nothing. Затем, если первый элемент a кортежа в голове равен элементу x, он возвращает второй элемент Just b. Иначе, рекурсивно, он ищет в хвосте.

search :: (Eq a) => a -> [(a,b)] -> Maybe b 
search _ [] = Nothing 
search x ((a,b):xs) = if x == a then Just b else search x xs 

Вы можете реализовать небезопасную версию без Maybe:

search :: (Eq a) => a -> [(a,b)] -> b 
search _ [] = error "element not found" 
search x ((a,b):xs) = if x == a then b else search x xs 

Другого варианта поиск списка вместо первого вхождения, то пустой список [] эквивалентно Nothing:

search :: (Eq a) => a -> [(a,b)] -> [b] 
search x = map snd . filter ((==x).fst) 

Answer 2

find может извлечь первый элемент, удовлетворяющий произвольному условию, и поэтому вы можете bui Л.Д. вашей функции вокруг него:

-- 'fmap snd' acts on the 'Maybe (a, b)' that 'find' gives back. 
search :: Eq a => a -> [(a,b)] -> Maybe b 
search a = fmap snd . find ((== a) . fst) 

Обратите внимание, что это точно так же, как и lookup. Кроме того, как указано в левой части, 3 (в отличие от Just 3) не является возможным результатом для функции с типом результата Maybe b. Вы можете устранить Maybe обертывание, когда вы на самом деле нужно использовать результат, используя, например, maybe функция:

GHCi> :t maybe 
maybe :: b -> (a -> b) -> Maybe a -> b 
GHCi> (maybe "No x" (("x ~> " ++) . show) . search "x") ([("x", 3), ("z", 5)]) 
"x ~> 3" 
GHCi> (maybe "No x" (("x ~> " ++) . show) . search "x") ([("y", 3), ("z", 5)]) 
"No x" 

Answer 3

Просто используйте простую карту в сочетании с лямбда:

searchMe :: (Eq a) => a -> [(a, b)] -> [Maybe b] 
searchMe a li = map (\(x, y) -> if a == x then Just y else Nothing) li 

OP вашей функции , так как это не будет работать, поскольку вы определяете свой параметр списка как (x: xs), который не позволит вам применять операции к элементам кортежа.