Obtenir les noms de champs d'un enregistrement Haskell sous la forme d'une liste de chaînes?

Question

Dire que je donne les résultats suivants:

data Rec = Rec { 
    alpha :: Int, 
    beta :: Double, 
    phi :: Float 
} 

sample = Rec 1 2.3 4.5 

Je comprends modèle Haskell & la fonction reify peut me faire les noms des champs de l'enregistrement. C'est-à-dire:

print $(f sample) --> ["alpha", "beta", "phi"] 

Il est également indiqué que ceci peut être fait sans modèle Haskell. Quelqu'un peut-il fournir un exemple de mise en œuvre pour cela peut être accompli?

Answer 1

Cela peut être fait avec une instance Data (la plupart des versions GHC) ou Generic (7.2.x et plus), que GHC peut dériver pour vous. Voici un exemple de comment vider des champs d'enregistrement avec la classe de données Data:

{-# LANGUAGE DeriveDataTypeable #-} 

import Data.Data 

data Rec = Rec { 
    alpha :: Int, 
    beta :: Double, 
    phi :: Float 
} deriving (Data, Typeable) 

sample = Rec 1 2.3 4.5 

main :: IO() 
main = print . constrFields . toConstr $ sample