クラスの各コンストラクタを使用して文字列のリストを作成できますか？

Question

私のような単純なデータタイプがあります。

func Class = ["Class1", "Class2", "Class3"] 

Answer 1

答えははいですが、警告があります。 funcの種類は何ですか？最初の引数は型であり、値ではないようです。後で...

---

がEnumの導出の詳細は、あなたが連続のコンストラクタをオフに一覧表示する機能を取得し、Boundedを導出することは、あなたに「最初に」とこの列挙の「最後」の要素を取得する機能を取得します取得します。

data Class = Class1 
      | Class2 
      | Class3 
      deriving (Show, Eq, Enum, Bounded) 

その後、我々はenumFromTo minBound maxBound（または単に[minBound .. maxBound]）を介してすべての要素のリストを取得することができます。

ただし、funcの最初の質問に戻ってください。引数として型を渡す必要があります。これを行う通常の方法は、ProxyとScopedTypeVariablesを使用しています。

{-# LANGUAGE ScopedTypeVariables #-} 

import Data.Proxy (Proxy(..)) 

func :: forall a. (Enum a, Bounded a, Show a) => Proxy a -> [String] 
func Proxy = map show $ enumFromTo minBound (maxBound :: a) 

GHCiのでこれを試してみてください：の

ghci> func (Proxy :: Proxy Class) 
["Class1","Class2","Class3"] 
ghci> func (Proxy :: Proxy Bool) 
["True","False"] 

Answer 2

：

data Class = Class1 
      | Class2 
      | Class3 
      deriving (Show, Eq) 

私はこれらのように、それぞれの文字列バージョンを含む文字列のリストを構築するための簡単な方法はあります

data Class = Class1 | Class2 | Class3 deriving (Show, Eq, Enum) 

GHCiの：

あなたは、おそらく、このような何かを行うことができます