我已经在本地安装了hoogle并运行了hoogle generate。
如果我运行hoogle maybeToEither,就会得到:
Data.Either.Utils maybeToEither :: MonadError e m => e -> Maybe a -> m a
Either maybeToEither :: Monoid b => (a -> b) -> Maybe a -> b
Network.Haskoin.Util maybeToEither :: b -> Maybe a -> Either b a然而,如果我使用网络搜索,我会得到更多的条目:https://hoogle.haskell.org/?hoogle=maybeToEither
有办法在本地生成相同的“数据库”吗?或者是否存在用于搜索https://hoogle.haskell.org的CLI?
根据https://wiki.haskell.org/Hoogle的说法,我应该能够运行hoogle data或hoogle data all --但这似乎只是在搜索(所以可能已经过时了?)。
发布于 2018-03-25 10:03:17
我试过:
$ cabal update
$ cabal install hoogle
Installed hoogle-5.0.17.2
$ hoogle generate --download
$ hoogle maybeToEither并得到了回应:
Data.Either.Utils maybeToEither :: MonadError e m => e -> Maybe a -> m a
Data.Either.Extra maybeToEither :: a -> Maybe b -> Either a b
Extra maybeToEither :: a -> Maybe b -> Either a b
Protolude.Either maybeToEither :: e -> Maybe a -> Either e a
Agda.Utils.Either maybeToEither :: Maybe a -> Either () a
Intro maybeToEither :: () => a -> Maybe b -> Either a b目前,web显示了6个条目,因为它已经将Data.Either.Extra和Extra条目合并为一行,因为它们引用了相同的定义。除此之外,它们是相配的。
请注意,hoogle generate根据已经下载的内容生成数据库,因此如果您每月运行hoogle generate,结果将不会改变。添加--download会迫使Hoogle重新下载。
发布于 2018-03-24 17:41:55
这个项目可能很有趣:https://github.com/andrevdm/bhoogle
我还编写了bash函数(依赖于jq、fzf、xclip):
hoogle_searchAndCopy() {
wget -qO- https://hoogle.haskell.org/\?hoogle\="$1"\&scope\=set%3Astackage\&mode\=json \
| jq -r ".[] | \"import \\(.module.name)\\n\\(.package.name)\\n--\"" \
| fzf | xclip ;
}hoogle_searchAndCopy maybeToEither的结果是:

https://stackoverflow.com/questions/49467487
复制相似问题