Ist es möglich, eine Liste aus den möglichen Werten eines Datentyps in Haskell zu generieren?

Question

Kann eine Liste aus den möglichen Werten eines Typs generiert werden? Z.B.

data Shape = Circle | Rectangle | Triangle | Pentagon

zu

[Circle,Rectangle,Triangle,Pentagon]

Answer 1

Ja, es kann. Es ist eine Aufgabe von Enum und Bounded Typklassen, z.B.

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