元組列表作為Haskell中的函數參數

Question

如何使用包含元組列表的參數定義函數？ 所以輸入的一個例子是

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

我的函數將元組列表作為：[（String，Bool）]因此，它看起來像這樣：

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

那我該為什么填寫???? 可以訪問我的元組？ 任何幫助都會很棒。 謝謝。

編輯：

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

您可以在此處閱讀其實現。