Список кортежей как функция Параметр в Haskell

Question

Как определить функцию с параметром, являющимся списком кортежей? Так пример ввода будет

[("hey", False), ("you", True)] 

Моя функция принимает список кортежей, как: [(String, Bool)] Так вот как это выглядит:

aFunc :: [(String, Bool)] -> Bool 
aFunc ???? = 

Так что Я заполняю для ???? чтобы иметь доступ к моему кортежу? Любая помощь будет большой. Благодарю.

Edit:

aFunc :: [(String, Bool)] -> Bool 
aFunc aTuple = mapM_ lookup aTuple? 

Так как мне получить доступ к кортежу в функции? Это не работает.

Answer 1

Похоже, вы пытаетесь реализовать свою собственную версию lookup. Вы можете написать простую версию, используя список понимание:

lookup' :: String -> [(String,Bool)] -> Bool 
lookup' k lkp = head $ [v | (k',v) <- lkp, k'==k] 

Или с помощью filter:

lookup'' :: String -> [(String,Bool)] -> Bool 
lookup'' k lkp = snd $ head $ filter ((==k) . fst) lkp 

Обратите внимание, что эти версии являются небезопасными - то есть, они не в состоянии с уродливой и малоинформативной ошибкой, если список не содержит вашу детали:

ghci> lookup' "foo" [("bar",True)] 
*** Exception: Prelude.head: empty list 

Вы можете решить эту проблему, написав собственное сообщение об ошибке:

lookupErr :: String -> [(String,Bool)] -> Bool 
lookupErr k lkp = case [v | (k',v) <- lkp, k'==k] of 
        (v:_) -> v 
        [] -> error "Key not found!" 

Лучший подход к возвращать Maybe Bool вместо:

lookupMaybe :: String -> [(String,Bool)] -> Maybe Bool 
lookupMaybe k lkp = case [v | (k',v) <- lkp, k'==k] of 
        (v:_) -> Just v 
        [] -> Nothing 

версия библиотека принимает этот подход, и имеет более общую подпись:

lookup :: (Eq a) => a -> [(a,b)] -> Maybe b 

Вы можете прочитать его реализацию here ,