Haskell: Получить имя конструктора данных в виде строки

Question

Допустим, мы имеем

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

Я хотел бы иметь функцию getDConst

getDConst :: D -> String 

что возвращает либо "X", "Y", или " Z ", в соответствии с конструктором данных, используемым для его ввода. Есть ли общий способ написать это без необходимости делать case на каждом конструкторе данных? (Я в порядке с решениями, опираясь на Data.Typeable или что-то подобное)

Answer 1

нашел решение сам, но оставив этот вопрос, чтобы помочь другим:

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

Если вы не хотите использовать Typeable, вы можете также сделайте это с Show.

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

Show не будет выводить все поля, потому что лень. Вы можете проверить это подножка этот код в ghci:

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