template-haskell

1зной

1ответ

TemplateHaskell имя класса с NEWNAME конфликта

У меня есть функция TemplateHaskell создавая имя класса: test :: Q [Dec] test = do clsname <- newName "A" a <- newName "a" return [ ClassD [] clsname [PlainTV a] [][] ] Имя

5зной

1ответ

Выводя прочитанной Инстансы для GADTs

Как я могу автоматически вывести Read экземпляр для этого GADTs: {-# LANGUAGE GADTs, StandaloneDeriving #-} data TypeDec a where TypeDecInt :: TypeDec Int TypeDecString :: TypeDec String

1зной

1ответ

Могу ли я использовать шаблон Haskell для генерации кода Гамлета?

Я столкнулся с интересной проблемой, которая, по моему мнению, может быть подходящим местом для Template Haskell. Я работаю над веб-интерфейсом базы данных, используя yesod и yesod-persistant. Я генер

4зной

1ответ

Как вызвать квазикватер для синтаксиса haskell явно?

Я строю eDSL поверх HaTeX. Проблема, с которой я сталкиваюсь, заключается в том, что я хочу отображать выражения Haskell в моем документе LaTeX, и я хочу использовать одно и то же выражение Haskell, ч

0зной

1ответ

трудно понять тип вывода в Haskell

В Haskell, мы знаем, что если мы имеем некоторую функцию f с сигнатурой типа f :: a -> a, то Haskell можно вывести следующие типы: f "alpha" будет иметь тип [Char]; f 1234 будет иметь тип Num a => a f