如何搜索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)
    基础 Data.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 :: RenderMode从OpenGL的,render :: Doc -> String从漂亮的,和其他一些东西; 默认情况下不搜索快照包.

但是,如果您添加+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的常见组合的语法糖.

有关使用Hoogle的更多信息,您可以在Haskell wiki上查看其手册.

Answer 2

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