如何搜索hackage包中的函数？

Question

也许我错过了什么，但有没有办法在hackage上搜索一些包？

假设我知道Snap框架有一个名为render的函数。如何从它的hackage页面开始找到它： http://hackage.haskell.org/package/snap-0.9.0.1

Answer 1

使用+package搜索运算符，您可以使用Hoogle（就像其他许多事情一样）。

默认情况下，Hoogle会按名称或类型搜索标准的一组包：

• Searching for traverse会发现：
  • traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
    base Data.Traversable
  • traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
    base Data.Foldable
    将结构的每个元素映射到一个动作，从左到右评估这些动作，并忽略结果。
  • ......等等
• Searching for (a -> b -> c) -> f a -> f b -> f c会发现：
  • liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
    base Control.Monad
    将函数提升为monad，从左到右扫描monadic参数。
  • liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
    base Control.Applicative
    将二进制函数提升为操作。
  • ......等等

现在，这很好，花花公子，但其他包呢？如果您search for render，则会发现Render :: RenderMode中的OpenGL，render :: Doc -> String中的pretty以及其他一些内容;默认情况下不会搜索快照包。

但是，如果您在搜索中添加+packagename或+Module.Name，则Hoogle将仅在指定的包内搜索（-packagename和{{1}从搜索中删除包/模块）。因此，searching for +snap render只发现以下三件事：

• render :: HasHeist b => ByteString -> Handler b v ()
  snap Snap.Snaplet.Heist
  将模板呈现为text / html。如果找不到给定的模板，则返回空。
• renderAs :: HasHeist b => ByteString -> ByteString -> Handler b v ()
  snap Snap.Snaplet.Heist
  将模板呈现为给定的内容类型。如果找不到给定的模板，则返回空。
• renderWithSplices :: HasHeist b => ByteString -> [(Text, SnapletSplice b v)] -> Handler b v ()
  snap Snap.Snaplet.Heist
  使用给定的拼接集渲染模板。这是heistLocal，bindSplices和render的常见组合的语法糖。

有关使用Hoogle的详细信息，您可以check its manual on the Haskell wiki。

Answer 2

单击包中某个模块的链接。然后在右上角有一个index链接。单击它，然后单击指向所需函数开始的字母的链接。