コンストラクタの選択時にデータ型の値を比較するだけ

Question

データ型のコンストラクタ "タグ"を比較したいと思います。

これを行う簡単な方法はありますか？

data D = A | B Int | C String 
check k d = ? 

check A (A) -- True 
check B (B 55) -- True 
check C (C "xxx") -- True 

Answer 1

おそらくコンストラクタとワイルドカードのパターンを一致させたいと思うでしょう。そう：

check :: D -> D -> Bool 
check A A = True 
check (B _) (B _) = True 
check (C _) (C _) = True 
check _ _ = False 

Answer 2

これを行うにはいくつかの方法がありますが、どれも完璧ではありません。あなたは、データの種別型担当者を比較することによって、似たような行うことができます

：

{-# LANGUAGE KindSignatures #-} 
{-# LANGUAGE DataKinds #-} 
{-# LANGUAGE TypeApplications #-} 
import Data.Typeable 

data D = A | B Int | C Char 

kCheck :: Typeable a => Proxy (a::k) -> D -> Bool 
kCheck p d = typeRep p == kTypeRep where 
    kTypeRep = case d of 
    A -> typeRep (Proxy @ 'A) 
    B {} -> typeRep (Proxy @ 'B) 
    C {} -> typeRep (Proxy @ 'C) 

を（あなたはGHC 8.0.1がTypeApplicationsを削除し、:: Proxy 'Aで@ 'Aを置き換えていない場合）私は（これはGHC 7.10を必要だと思いますまたはで7.8）。

kCheck (Proxy @ 'B) (B 3) 
True 
kCheck (Proxy @ 'C) A 
False 

---

それとも、TemplateHaskellを使用してName秒比較することができます：あなたは幸せな文字列を比較している場合は、自動的にDataからtoConstrを使用してそれらを導くことができる

{-# LANGUAGE TemplateHaskell #-} 
import Language.Haskell.TH 

data D = A | B Int | C Char 

thCheck :: Name -> D -> Bool 
thCheck n d = n == conName 
    where 
    conName = case d of 
     A -> 'A 
     B {} -> 'B 
     C {} -> 'C 

> thCheck 'B (B 3) 
True 
> thCheck 'A (C 'a') 
False 

---

を：

{-# LANGUAGE DeriveDataTypeable #-} 

import Data.Data 

data D = A | B Int | C Int 
    deriving Data 

dCheck :: String -> D -> Bool 
dCheck s d = s == show (toConstr d) 

---

あなたが望むものに最も近い方法がありますが、これは各タイプのコンストラクターに固有のタイプがある場合にのみ機能します。 したがってAとBのタイプ担当者は両方ともInt -> Dとなるため、これはdata D = A Int | B Intでは機能しません。

> check B (B 3) 
True 
> check C A 
False