查找列表和谓词的任何可能的绑定

Question

我对 Haskell 真的很陌生，我几乎没有使用这种语言的经验。 我的问题是我想创建一个函数来查找给定列表和谓词的任何可能的绑定，但我找不到正确的解决方案。

此外，我认为对这个问题有用的函数是以下findBonding :: Eq a => (a -> a -> Bool) -> [a] -> Maybe [(a,a)]这样findBonding p ls将 p 作为谓词，将 ls 作为整数列表。

例如， findBonding (\\x -> \\y -> odd(x+y)) [2,3,4,5,6,7]应该返回Just [(2,3),(3,2),(4,5),(5,4),(6,7),(7,6)]

用ls （列表）的foldr和p （谓词）声明 findBonding 是一个函数，该函数应该声明要查找哪些对，然后循环每两个项目以找到正确的对并将它们作为列表列表返回。

请不要恨我，因为我对这门语言真的很陌生，而且我完全没有经验，但我渴望理解它，尽管它真的很难上手。

Answer 1

您不清楚“绑定”是什么意思，但根据您的评论，我认为这可能适用于您的定义：

import Data.Foldable
import Data.Traversable

findBonding :: (a -> a -> Bool) -> [a] -> Maybe [(a,a)]
findBonding f xs = for xs $ \x -> (,) x <$> find (f x) xs