動態地從類型

Question

獲取數據構造的名單我有一個這樣的數據類型：

data ABCS = A Int | B Int | ... | Z Int deriving (Data, Typeable)

在測試中，我要動態提取所有構造函數，每個構造做一個實例，然後運行考試。

我一直在尋找通過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要做到這一點，你就不必處理是否有任何這你可以重構ABC從而使A，B，C標籤是他們自己的類型......

data ABCTagged = ABCTagged ABC Int deriving Show 

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

...那麼就使用enumFrom minBound :: [ABC]讓整個列表。簡單！不知道這對你有多可行。