¿Obtiene los nombres de campo de un registro Haskell como una lista de cadenas?

Question

Decir que tengo el siguiente:

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

sample = Rec 1 2.3 4.5 

entiendo Plantilla Haskell & la función reify me puede conseguir nombres de los campos del registro. Es decir:

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

También se puede afirmar que esto se puede hacer sin Template Haskell. ¿Puede alguien proporcionar un ejemplo de implementación para esto?

Answer 1

Se puede hacer con una instancia de Datos (la mayoría de las versiones de GHC) o Genéricas (7.2.x y superiores), que GHC puede derivar para usted. Aquí hay un ejemplo de cómo volcar campos de registro con la clase de datos Tipo:

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