Haskell: Get nazwisko konstruktora dane jako ciąg

Question

Powiedzmy mamy

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

pragnę mieć funkcję getDConst

getDConst :: D -> String 

która zwraca albo "X", "Y" lub " Z ", zgodnie z konstruktorem danych użytym do jego wprowadzenia. Czy istnieje ogólny sposób pisania tego bez konieczności wykonywania case na każdym konstruktorze danych? (Jestem ok z rozwiązań opierając się na Data.Typeable lub coś podobnego)

Answer 1

znalazł rozwiązanie siebie, ale pozostawiając tę ​​kwestię do pomagania innym:

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

Jeśli nie chcesz używać Typeable, można również zrób to z Show.

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

nie wyświetli wszystkich pól, ponieważ jest leniwy. można go przetestować runiczny ten kod w ghci:

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