動的に私はこのようなデータ型を持っているタイプ

Question

からのデータコンストラクタのリストを取得します。テスト。

私はData.TypeableとData.Dataを見てきましたが、タイプ（ABC）で始まるこれをどうやって行うのかはまだわかりません。

大変助かります。

Answer 1

Data.Dataを使用しても問題ない場合は、このユースケースでは機能しますが、Intパラメータのために少しぎこちなくなります。

{-# LANGUAGE ScopedTypeVariables #-} 
import Data.Data 
import Data.Typeable 

allCtors :: forall a. Data a => [Int -> a] 
allCtors = map observeCtor $ dataTypeConstrs $ dataTypeOf (undefined :: a) 
    where 
    observeCtor :: Constr -> Int -> a 
    observeCtor c i = fromJust $ fromConstrM (cast i) c 

λ data ABC = A Int | B Int | C Int deriving (Show, Data, Typeable) 
data ABC = A Int | B Int | C Int 
λ map ($ 2) allCtors :: [ABC] 
[A 2,B 2,C 2] 

あなたがData.Dataを使用したくない場合は、GHC.Genertcsと-XDefaultSignatures

---

FWIWでこれを行うことができるように、あなたがいる場合は、このいずれかに対処する必要はないかもしれませんA、B、Cのタグが自分のタイプだったように、あなたは、単に全体のリストを取得するためにenumFrom minBound :: [ABC]を使用して...

data ABCTagged = ABCTagged ABC Int deriving Show 

data ABC = A | B | C deriving (Show, Eq, Ord, Enum. Bounded) 

... ABCをリファクタリングできます。簡単！これはあなたのためにいかに実現可能か確信しています。