haskell - 模板 Haskell on Aeson

Question

我有这样的数据类型：

module My.Module

data A = A { aFoo :: Integer } deriving (Generic, Show)

我有 Aeson 的通用选项

import Data.Char ( toUpper, toLower )

genericOptions :: String -> Options
genericOptions prefix = defaultOptions
  { fieldLabelModifier = dropPrefix $ length prefix
  , constructorTagModifier = addPrefix prefix
  , omitNothingFields = True
  }
  where
    dropPrefix l s = let remainder = drop l s
                     in  (toLower . head) remainder : tail remainder
    addPrefix p s  = p ++ toUpper (head s) : tail s

所以我可以像这样使用它

instance A.FromJSON A where 
  parseJSON = A.genericParseJSON $ genericOptions "A"

instance A.ToJSON A where 
  toJSON = A.genericToJSON $ genericOptions "A"

但我意识到我可以使用一些模板 haskell

import Data.Aeson.TH ( deriveJSON )
import Language.Haskell.TH.Syntax ( Dec, Name, Q )

genericDeriveJSON :: Name -> Q [Dec]
genericDeriveJSON name =
  deriveJSON (genericOptions (show name)) name 

$(genericDeriveJSON ''A)

它抛出一个错误：

Exception when trying to run 
compile-time code:
      Prelude.tail: empty list
    Code: A.genericDeriveJSON ''A

似乎返回drop l s了dropPrefix一个空字符串，这意味着它的值show name不是字符串“A”。由于我认为我无法检查价值，所以有人知道价值是什么吗？

标签： haskellaesontemplate-haskell

Answer 1

尝试使用nameBase代替show（用于调试而不是核心逻辑）。

要查看show在做什么，您可以查看which is defined as which 本身定义为的实现show，大致了解它构造了您的类型的完全限定名称。showNameshowName' Alone