我有一个用Haskell编写的Web应用程序（在客户端使用ghcjs，在服务器端使用ghc），我需要一种方法来收集分布在模块中的CSS值。目前我使用的技术涉及CssStyle类和模板haskell。当模块需要导出一些CSS时，它会为一些类型创建一个CssStyle示例。（类型除了必须是唯一的之外没有任何意义。）在顶层，所有CssStyle示例都是使用模板haskell中的reifyInstances函数检索的。
这种方法至少有两个缺点：你必须创建无意义的类型来附加示例，并且你必须确保所有的示例都被导入到你扫描的地方，并转化为真正的CSS。有谁能想到一个更漂亮的方法来收集嵌入在Haskell代码中的数据吗？

Quelklef要求提供一些演示当前解决方案的源代码：

{-# LANGUAGE AllowAmbiguousTypes, OverloadedStrings, MultiParamTypeClasses, TemplateHaskell, LambdaCase, FunctionalDependencies, TypeApplications #-}

import Clay
import Control.Lens hiding ((&))
import Data.Proxy
import Language.Haskell.TH

class CssStyle a where cssStyle :: Css

-- | Collect all the in scope instances of CssStyle and turn them into
-- pairs that can be used to build scss files.  Result expression type
-- is [(FilePath, Css)].
reifyCss :: Q Exp
reifyCss = do
  insts <- reifyInstances ''CssStyle [VarT (mkName "a")]
  listE (concatMap (\case InstanceD _ _cxt (AppT _cls typ@(ConT tname)) _decs ->
                            [ [|($(litE (stringL (show tname))), $(appTypeE [|cssStyle|] (pure typ)))|] ]
                          _ -> []) insts)

data T1 = T1
instance CssStyle T1 where cssStyle = byClass "c1" & flexDirection row
data T2 = T2
instance CssStyle T2 where cssStyle = byClass "c2" & flexDirection column

-- Need to run this in the interpreter because of template haskell stage restriction:
--
-- > fmap (over _2 (renderWith compact [])) ($reifyCss :: [(String, Css)])
-- [("Main.T2",".c2{flex-direction:column}"),("Main.T1",".c1{flex-direction:row}")]

这里的要点是，从这里导入的任何模块中的任何CssStyle示例都将出现在此列表中，而不仅仅是本地定义的那些示例。