我已经在本地安装了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
-但这似乎只是进行搜索(因此可能已经过时了?)。
我试过了:
$ 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
目前,网络显示了6个条目,因为它已将Data.Either.Extra
和Extra
条目合并为一行,因为它们引用相同的定义。除此之外,它们匹配。
请注意,这hoogle generate
将根据您已下载的内容生成数据库,因此,如果您hoogle generate
每月运行一次,结果将不会更改。添加--download
强制Hoogle重新下载。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句