1
Получение ассоциированных синонимов типов с шаблоном Haskell
Может ли Template Haskell узнать имена и / или объявления синонимов связанных типов, объявленных в классе типов? Я ожидал, reifyчто сделаю то, что хочу, но, похоже, он не предоставляет всей необходимой информации. Он работает для получения сигнатур типов функций: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help ... Prelude> …