将接受两个参数的过滤器函数应用到在Haskell中接受一个参数的函数产生的列表

Question

在Haskell中，我定义了一个带两个参数并返回Bool的过滤器函数，即

myFilter :: a -> b -> Bool

我定义了一个函数，该函数接受一个参数并返回一个列表，即

myFunction :: a -> [b]

myFunction接受的参数与myFilter接受的第一个参数相同，并且myFunction输出的列表项与myFilter的第二个参数具有相同的类型，即

myFunction a = [b]
myFilter a b = Bool

我想定义另一个函数myFilteredFunction，

myFilteredFunction :: a -> [b]

它采用一个参数a ，一个同时包含myFilter和myFunction的参数，然后返回[b]的子集，该子集仅包含满足myFilter设置的谓词的项，即使用myFilter过滤myFunction的输出。 这似乎是一件很简单的事情，但是我却无法使其工作（我是Haskell的新手）！

我尝试过的一些选项显然不起作用：

myFilteredFunction = myFilter . myFunction
myFilteredFunction' = filter myFilter . myFunction
myFilteredFunction'' = myFilter . (map myFunction)

我看到的问题是myFilter接受两个参数，而其他两个函数仅接受一个...非常感谢帮助。

Answer 1

您的问题不是100％清楚，但我想您可能是这个意思？

myFilteredFunction :: a -> [b]
myFilteredFunction a = filter (\b -> myFilter a b) (myFunction a)

也就是说，您应用myFunction来获取列表，然后根据myFilter在应用于原始元素和被测试元素时是否给出True来对其进行过滤。

请注意，可以使用部分应用程序简化此处应用于filter的功能：

myFilteredFunction a = filter (myFilter a) (myFunction a)