如何在 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 ()
    baseData.Foldable
    将结构的每个元素映射到一个动作，从左到右评估这些动作，并忽略结果。
  • ……等等
• Searching for (a -> b -> c) -> f a -> f b -> f c 会发现：
  • liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
    baseControl.Monad
    将函数提升为 monad，从左到右扫描 monad 参数。
  • liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
    baseControl.Applicative
    将二元函数提升为动作。
  • ……等等

现在，这很好，很漂亮，但是其他包呢？如果你search for render，你会从OpenGL找到Render :: RenderMode，从pretty找到render :: Doc -> String，还有一些其他的东西；默认不搜索 snap 包。

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

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

更多关于使用Hoogle的信息，您可以check its manual on the Haskell wiki。

Answer 2

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