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

Question

可以根据类型的可能值生成列表吗？ E.g。

data Shape = Circle | Rectangle | Triangle | Pentagon

到

[Circle,Rectangle,Triangle,Pentagon]

Answer 1

是的，它可以。这是Enum和Bounded类型类的义务，例如

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