Haskellの '[String]型の値を取得するには？

Question

私は次のようにタイプレベルStringの値を取得することができます

> :set -XDataKinds 
> import Data.Proxy 
> import GHC.TypeLits 
> symbolVal (Proxy :: Proxy "test") 
"test" 

はどのように私はそのようなProxy :: Proxy '["a", "b", "c"]として、'[String]の値を取得する方法について行くのですか？私はコード内の値を繰り返し処理できるようにしたいと思います。

Answer 1

それは別の型クラスを作ることによって解決することができます：

{-# LANGUAGE DataKinds #-} 
{-# LANGUAGE ScopedTypeVariables #-} 
{-# LANGUAGE KindSignatures #-} 
{-# LANGUAGE TypeOperators #-} 
import Data.Proxy 
import GHC.TypeLits 

class ManySymbolVal (xs :: [Symbol]) where 
    manySymbolVal :: proxy xs -> [String] 

instance ManySymbolVal '[] where 
    manySymbolVal _ = [] 

instance (KnownSymbol a, ManySymbolVal as) => ManySymbolVal (a ': as) where 
    manySymbolVal _ = 
    symbolVal (Proxy :: Proxy a) : manySymbolVal (Proxy :: Proxy as) 

myProxy :: Proxy '["hello","small","world"] 
myProxy = Proxy 

main :: IO() 
main = mapM_ putStrLn (manySymbolVal myProxy)