È possibile generare un elenco dai possibili valori di un tipo di dati in Haskell?

Question

È possibile generare una lista dai possibili valori di un tipo? Per esempio.

data Shape = Circle | Rectangle | Triangle | Pentagon

a

[Circle,Rectangle,Triangle,Pentagon]

Answer 1

Sì certo che può. È un dovere delle classi di tipo Enum e Bounded ad es.

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