Có thể tạo danh sách từ các giá trị có thể có của datatype trong Haskell không?

Question

Danh sách có thể được tạo ra từ các giá trị có thể của loại không? Ví dụ.

data Shape = Circle | Rectangle | Triangle | Pentagon

để

[Circle,Rectangle,Triangle,Pentagon]

Answer 1

Có nó có thể. Đó là nghĩa vụ của các lớp loại Enum và Bounded loại, ví dụ:

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