是否可以从Haskell中的数据类型的可能值生成列表？

Question

可以从类型的可能值生成列表吗？例如

data Shape = Circle | Rectangle | Triangle | Pentagon

至

[Circle,Rectangle,Triangle,Pentagon]

Answer 1

是的,它可以.它是Enum和有界类型类的义务,例如

? data Shape = Circle | Rectangle | Triangle | Pentagon deriving (Show, Enum, Bounded)
? [minBound .. maxBound] :: [Shape]
[Circle,Rectangle,Triangle,Pentagon]
? [minBound ..] :: [Shape]
[Circle,Rectangle,Triangle,Pentagon]