Ottieni i nomi dei campi di un record Haskell come un elenco di stringhe?

Question

Dire che ho il seguente:

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

sample = Rec 1 2.3 4.5 

Capisco Template Haskell & la funzione reify mi può ottenere i nomi dei campi del record. Ovvero:

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

C'è anche una affermazione che questo può essere fatto senza Template Haskell. Qualcuno può fornire un'implementazione di esempio per questo può essere realizzato?

Answer 1

Può essere eseguito con una data (la maggior parte delle versioni di GHC) o un'istanza generica (7.2.xe successive), che GHC può derivare per voi. Ecco un esempio di come eseguire il dump dei campi di record con Data typeclass:

{-# 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