Haskell: ottenere il nome del costruttore di dati come stringa

Question

Diciamo che abbiamo

data D = X Int | Y Int Int | Z String 

Vorrei avere una funzione getDConst

getDConst :: D -> String 

che restituisce "X", "Y", o " Z ", secondo il costruttore di dati utilizzato per il suo input. C'è un modo generico per scrivere questo senza dover fare case su ogni costruttore di dati? (Io sono ok con soluzioni basandosi su Data.Typeable o qualcosa di simile)

Answer 1

trovato la soluzione io stesso, ma lasciando a questa domanda per aiutare gli altri:

import Data.Data 
data D = X Int | Y Int Int deriving (Data,Typeable) 

let result = show $ toConstr (X 3) -- result contains what we wanted 

Answer 2

Se non si desidera utilizzare Typeable, è anche possibile fai questo con Show.

getDConst :: D -> String 
getDConst = head . words . show 

Show non sarà in uscita tutti i campi, perché è pigro. È possibile verificare che runing questo codice in ghci:

Prelude> data D = D [Int] deriving (Show) 
Prelude> getDConst $ D [1..] 
"D"