Obtenir une liste de toutes les valeurs possibles de type de données dans Haskell

Question

Si j'ai un type de données disent:

data Color = Red | Yellow | Green 

Est-il possible que je peux transformer cela en une liste de type [couleur] obtenir toutes les valeurs possibles? [Rouge, Jaune, Vert]

Peut-être que c'est un anti-pattern complet?

Answer 1

data Color = Red 
      | Yellow 
      | Green 
      deriving Enum 

allColors = [Red ..] 

Answer 2

Vous ne savez pas si c'est un anti-pattern (et je ne pense pas à un bon usage en ce moment), mais c'est possible. Utilisez le Enum (permet de générer une liste comme [someCtor .. someOtherCtor]) et Bounded (pour minBound et maxBound). Heureusement, vous pouvez obtenir à la fois:

data Color = Red 
      | Yellow 
      | Green 
      deriving (Enum, Bounded) 

allColors = [(minBound :: Color) ..] 

Si jamais vous ajoutez une autre couleur, allColors sont mis à jour automatiquement. Une restriction cependant: Enum exige que tous les contructeurs soient nuls, c'est-à-dire que l'ajout de Foo Int casse le tout. Heureusement, parce qu'une liste de toutes les valeurs possibles pour cela serait beaucoup trop grande.

Editer: L'autre réponse fonctionne aussi, peut-être mieux car elle ne nécessite pas de dériver Bounded et est donc un peu plus courte. Je laisserai toujours le mien parce que j'aime le code sur-machiné mais extrêmement générique;)

Answer 3

Sûrement la réponse de delnan est meilleure. Puisque je ne sais pas comment inclure un morceau de code dans un commentaire, je vais donner une généralisation en tant que réponse séparée ici.

allValues :: (Bounded a, Enum a) => [a] 
allValues = [minBound..] 

Maintenant, cela fonctionne pour tout type avec un Bounded et Enum par exemple! Et allColors est un cas particulier:

allColors :: [Color] 
allColors = allValues 

Dans de nombreux cas, vous aurez même pas besoin de définir allColors séparément.

Answer 4

Voici un exemple d'utilisation de cette technique pour analyser les énumérations avec parsec

data FavoriteColor = Maroon | Black | Green | Red | 
        Blue | Pink | Yellow | Orange 
          deriving (Show, Read, Enum, Bounded) 

Et l'analyseur parsec

parseColor :: Parser FavoriteColor   
parseColor = fmap read . foldr1 (<|>) $ map (try . string . show) 
    [ minBound :: FavoriteColor ..] 

bien sûr l'essai pourrait pourrait être appliquée par une meilleure par correspondance de motif et un peu d'autres choses pourraient le rendre plus agréable mais c'est juste un exemple d'utilisation de la technique.