获取Haskell中所有可能的数据类型值的列表

Question

如果我有数据类型说:

data Color = Red | Yellow | Green

有没有办法可以将其转换为[Color]类型列表获取所有可能的值？[红色,黄色,绿色]

也许这是一个完整的反模式？

Answer 1

不确定它是否是反模式(我现在也不能想到好用),但它是可能的.使用Enum(允许生成类似的列表[someCtor .. someOtherCtor])和Bounded(for minBound和maxBound)类型类.幸运的是,你可以得到两者:

data Color = Red
           | Yellow
           | Green
           deriving (Enum, Bounded)

allColors = [(minBound :: Color) ..]

如果您添加其他颜色,allColors会自动更新.但是有一个限制:Enum要求所有的构造函数都是无效的,即添加Foo Int破坏整个东西.幸运的是,因为所有可能值的列表会太大.

编辑:另一个答案也可以,也许更好,因为它不需要派生Bounded,因此有点短.我仍然会离开我,因为我喜欢过度设计但非常通用的代码;)

Answer 2

当然,德尔南的答案更好.由于我不知道如何在评论中包含一段代码,因此我将在此处作为单独的答案进行概括.

allValues :: (Bounded a, Enum a) => [a]
allValues = [minBound..]

现在,这适用于任何带有Bounded和Enum实例的类型!而且allColors只是一个特例:

allColors :: [Color]
allColors = allValues

在许多情况下,您甚至不需要allColors单独定义.

Answer 3

data Color = Red
           | Yellow
           | Green
           deriving Enum

allColors = [Red ..]