hoogleのようなツールを用いて、型の定義やエイリアスのみを検索する良い方法は...

hoogleのようなツールを用いて、型の定義やエイリアスのみを検索する良い方法はありますか?hoogleで普通に検索するとほとんど関数しかヒットせず、困る場面は少ないけどちょっと不便だなと思っています。

Replies

hoogleのようなツールを用いて、型の定義やエイリアスのみを検索する良い方法はありますか?hoogleで普通に検索するとほとんど関数しかヒットせず、困る場面は少ないけどちょっと不便だなと思っています。

https://github.com/ndmitchell/hoogle#readme
> :: a searches for the type “a”
とありますが、これで思ったように結果が絞れたりするでしょうか?

🤔 大文字で始まる名前に特に -> とかを含めなければ普通に型の名前が優先されているように見えますが、これではダメなんでしょうか?
https://www.haskell.org/hoogle/?hoogle=Maybe
https://www.stackage.org/lts-12.19/hoogle?q=Maybe

例えば、"Applicative f => (a -> f b) -> s -> f t"で検索したらlensパッケージのTraversalがヒットして欲しい、みたいな具合です

型シノニムだけ結果に表示するようなオプションは見つけられませんでした…
型変数名が同じなら Google は一応見つけてくれましたが、不便は不便ですね。
https://www.google.co.jp/search?q=%22Applicative+f+%3D%3E+%28a+-%3E+f+b%29+-%3E+s+-%3E+f+t%22

なるほど。。。Haddockに直接相談しないとどうにもならなさそうですね。。。 😥