Haskell: Get Daten Konstruktor Namen als String

Question

Lassen Sie uns sagen, wir haben

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

ich eine Funktion getDConst

getDConst :: D -> String 

haben wollen, die entweder "X" zurückkehrt, "Y" oder " Z ", entsprechend dem Datenkonstruktor, der für seine Eingabe verwendet wird. Gibt es eine generische Möglichkeit, dies zu schreiben, ohne auf jedem Datenkonstruktor case zu machen? (Ich bin ok mit Berufung Lösungen auf Data.Typeable oder so ähnlich)

Answer 1

die Lösung selbst gefunden, sondern lassen diese Frage, anderen zu helfen:

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

Wenn Sie nicht Typeable verwenden möchten, können Sie auch Tun Sie dies mit Show.

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

Show nicht ausgegeben werden alle Felder, weil sie faul ist. Sie können es testen diesen Code in ghci runing:

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