ハスケル：文字列

Question

としてデータコンストラクタ名を取得する私は、 "X"、 "Y"、または「どちらかを返す関数getDConst

getDConst :: D -> String 

を持つことを望む私たちは

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

を持っているとしましょうZ "に変換されます。すべてのデータコンストラクタでcaseを実行することなくこれを書く一般的な方法はありますか？

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 1

がソリューションを自分で見つけましたが、他の人を助けるためにこの質問を残して（私は解決策がData.Typeableまたは類似した何かに頼ってOKです） Showでこれを行います。

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

Showはレイジーなので、すべてのフィールドを出力しません。あなたはghciにこのコードをruningて、それをテストすることができます。

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

Answer 2

あなたがTypeableを使用しない場合、あなたはまた、次のことができます。