如何使用包含元组列表的参数定义函数？所以输入的一个例子是
[("hey", False), ("you", True)]
我的函数将元组列表作为：[[（String，Bool）]因此，它是这样的：
aFunc :: [(String, Bool)] -> Bool
aFunc ???? =
那我该为什么填写???? 可以访问我的元组？任何帮助将是巨大的。谢谢。
编辑：
aFunc :: [(String, Bool)] -> Bool
aFunc aTuple = mapM_ lookup aTuple?
那么如何在函数中访问我的元组呢？那不行
看来您正在尝试实现自己的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!"
更好的方法是返回a 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
您可以在此处阅读其实现。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句