Tag: reify

使用模板Haskell获取关联的types同义词

Can Template Haskell可以找出types类中声明的关联types同义词的名称和/或声明吗？ 我期望reify会做我想做的，但是似乎并没有提供所有必要的信息。 它适用于获取函数types签名： % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ 😕 for help … Prelude> — I'll be inserting line breaks and whitespace for clarity Prelude> — in all GHCi output. Prelude> :set -XTemplateHaskell Prelude> import Language.Haskell.TH Prelude Language.Haskell.TH> class C a where f :: a -> Int Prelude Language.Haskell.TH> putStrLn $(stringE . show […]