Haskell의 함수 매개 변수로 튜플 목록

Question

튜플 목록 인 매개 변수로 함수를 정의하는 방법은 무엇입니까? 그래서 무엇을

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

: [(문자열, 부울)] 그래서 여기 가 어떻게 생겼는지입니다 : 그래서 입력의 예 내 기능으로 튜플의리스트를 취

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

것 나는 ???? 내 튜플에 액세스 할 수 있습니까? 어떤 도움이라도 좋을 것입니다. 감사.

편집 :

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 

공지 사항이 버전은 안전하지 않은 것을 - 즉, 그들은 추한과 가치가없는 오류는 IF와 함께 실패 할 것입니다 당신은 당신의 자신의 사용자 지정 오류 메시지를 작성하여이 문제를 해결할 수

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

: 목록 항목을 포함하지 않는

,536 라이브러리 버전이 방법을 받아,보다 일반적인 서명이

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

:

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

더 좋은 방법은 Maybe Bool 대신에 반환하는 것입니다

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

을 당신은 그것의 구현을 읽을 수 here .