类型类实例可发现性 - 如何搜索?

时间:2014-09-24 09:28:44

标签: haskell

示例 - Data.List有一个为Data.Foldable定义的实例,但它是在Foldable中定义的,不在列表中(反对" []"而不是" List& #34;。)

对于实例在类型本身的同一文件中定义的情况(例如Data.Sequence),它们在文档中列出。例如,我对Hoogle或Hayoo没有任何运气。

虽然我可以看到最常见的事件是带有数据类型定义的实例定义,但是有时必须将它放在单独的文件中。我是不是刚刚选择了一个使用Data.List的错误示例,或者我在搜索技能中遗漏了什么?


澄清:我已经了解可折叠和列表,并且期望每个人在探索Haskell时很早就遇到过这个问题是合理的。但是,对于某些复杂类型的T,例如, Snap / Yesod /镜头让我不太可能知道我从未遇到的更复杂的类型类型是相关的。我想知道是否有某种方式明确搜索实例,因为它们没有在类型的文件中定义(可以在类型的自动生成的文档中获取它) )。

0 个答案:

没有答案