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

Question

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

data Shape = Circle | Rectangle | Triangle | Pentagon

至

[Circle,Rectangle,Triangle,Pentagon]

Answer 1

是的，它可以。这是枚举和有界类型类的职责，例如

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