如何在Hoogle上搜索類型類實例？

有沒有辦法在Hoogle（或Stackage）上搜索類型類的實例？如何在Hoogle上搜索類型類實例？

例如，我想知道哪個包爲Text定義了Lift的實例。

我能在包th-lift-instances中找到它，但花費了大約10分鐘的手動搜索。好像應該有Hoogle的一些功能允許搜索實例。

2015-10-06 illabout

順便說一句，這個軟件包是谷歌for text lift package site的第一個結果：hackage.haskell.org' – Kolmar

Thanks @Kolmar！使用'site：hackage.haskell.org'搜索谷歌似乎是尋找事物的好方法！ – illabout

...或[Hayoo]（http://hayoo.fh-wedel.de）。 –

現在，沒有。然而，最近haddock添加了一個特性，允許實例鏈接到源代碼，並且基於Hackage構建的所有新文檔都已打開。因此，在th-lift包的下一個發行版中，您應該會看到Lift Text實例旁邊的「來源」鏈接，它會告訴您需要了解的內容。

來源

2015-10-06 16:58:49

我相信只有在軟件包可以看到源代碼時，這才能工作。如果它是孤兒，所有投注都關閉。我將孤兒實例問題看作是Haskell最大的縮放問題。 – dfeuer

@dfeuer haddocks已經在'Lift'的實例列表中包含了'Text'實例;這不是證明他們能看到源頭的好證據嗎？ –

@DanielWagner，我認爲我的原始問題不夠具體。有兩個包，'th-lift'和'th-lift-instances'。 'th-lift'定義了'Lift'類型的類。 'th-lift-instances'定義了'Lift Text'實例。如果你想爲'Text'提供一個'Lift'的實例，並且你所知道的只是'Lift'類型類（在'th-lift'包中），那麼沒有辦法找到'th-lift -instances'軟件包，像使用GoogleMaker所建議的那樣使用Google進行搜索。 – illabout

通過擴展Kolmar's comment，Google的某些技術在尋找實例方面確實付出了很大的努力。

實例：

-inurl:用於清理從類型類定義，其中多餘的結果。

來源

2017-02-23 12:48:00 Wizek

如何在Hoogle上搜索類型類實例？

回答

相關問題