Haskell 搜索基于函数类型提供实现的实用程序

不久前，我遇到了一个实用程序，给定函数的签名，它提供函数的实现（参数化）。我现在想不起来了。请帮忙

我想Djinn确实是你要找的工具（见Alexey Romanov的答案）。正如Daniel指出的，Djinn与参数学无关，但也许你错了？

一般来说，你可以使用hoogle（www.Haskell.org/hoogle）来实现这一点。不过我不确定你在找那个？好吧，胡格尔会给你一个图书馆搜索。这张海报似乎是在寻找一个能够生成实现的工具，而不是查找它。我很确定这就是IttayD所想的，但djinn所做的与参数化无关。