한 조건 자에 따라 두 목록의 요소를 비교하고 다른 조건 자에 따라 선택하려면 어떻게해야합니까?

일반적인 경우를 해결하기 위해 두 개의 술어를 포함하는 튜플과 패턴 일치하는 필터의 수정 된 버전을 정의하고 둘 다 충족되는지 확인할 수 있습니다.

filter' :: ((a->Bool),(a->Bool)) -> [(a,a)] -> [(a,a)]
filter' (pred1,pred2) = foldr f []
 where f = (\x acc -> if pred1 $ fst x then
                                        if pred2 $ snd x then x : acc
                                        else acc
                      else acc
           )

[(1,2),(2,2),(3,3),(3,4)]첫 번째 술어 odd와 두 번째 술어가 있는 목록을 다음 과 같이 평가합니다 even.

>> filter' (odd,even) [(1,2),(2,2),(3,3),(3,4)]
[(1,2),(3,4)]