haskell - 如何在 hackage 包中搜索功能？

Question

也许我遗漏了一些东西，但是有没有办法在一些关于hackage的包中搜索？

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

Answer 1

您可以使用搜索运算符为此使用Hoogle（以及其他许多事情） 。+package

默认情况下，Hoogle 将在一组标准的包中按名称或类型进行搜索：

• 搜索traverse会发现：
  • traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
    基本 数据.Traversable
  • traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
    base Data.Foldable
    将结构的每个元素映射到一个动作，从左到右评估这些动作，并忽略结果。
  • … 等等
• 搜索(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
    将二元函数提升到动作。
  • … 等等

现在，这很好，很漂亮，但是其他包呢？如果你搜索render，你会发现Render :: RenderModefrom OpenGL、render :: Doc -> Stringfrom pretty和其他一些东西；默认情况下不搜索 snap 包。

但是，如果您在搜索中添加+packagename或添加+Module.Name，Hoogle 将仅在指定的包内进行搜索（并-packagename从-Module.Name搜索中删除包/模块）。因此，搜索+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 的常见组合的语法糖。

For more information on using Hoogle, you can check its manual on the Haskell wiki.

Answer 2

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