template-haskell

6зной

3ответ

Подсчитайте N-Ary (с различными типами!) Декартовы продукты в Haskell

Я знаю, что функция sequence может справиться с проблемой [[1, 2], [3, 4]] -> [[1, 3], [1, 4], [2, 3], [2, 4]]. Но я думаю, что настоящий декартово продукт должен обрабатывать проблему ([1, 2], ['a',

3зной

1ответ

Как я могу связать контекст типа в объявлении экземпляра класса?

Например: let context = sequence [classP (mkName "Eq") [varT (mkName "a")]] in [d| instance $(context) => Bar (Foo a) where quux _ = undefined |] Результат, который я хочу instance

1зной

1ответ

Автоматически декларации обработчиков Йесод с помощью шаблона Haskell

Например, у меня есть следующий тип объекта в модели User json username Text и следующих типов Haskell: Entity User Удаление обработчика для пользователя: Маршруты файлов : /users/#UserId Use

1зной

1ответ

Недостающие импорт из библиотек Гамлет

Это фрагмент кода из O reilly - Yesod - Widgets, getRootR = defaultLayout $ do setTitle "My Page Title" toWidget [lucius| h1 { color: green; } |] addScriptRemote "https://ajax.googleapi

2зной

1ответ

Композитный первичный ключ в Yesod

Я довольно новичок в Haskell и экспериментировал с Yesod уже около недели. Я пытаюсь подключиться к существующей базе данных, которая имеет составной первичный ключ в sqlite. Мне удалось заставить код

1зной

1ответ

Получение TH.Name для '[] без -XTemplateHaskell

Есть ли способ получить (импорт из базовых модулей или выражение для записи) значение типа Language.Haskell.TH.Name, которое представляет '[] без включения -XTemplateHaskell? Причиной этого является т

3зной

1ответ

Yesod's TH генерирует неправильный код?

Делаю подузел Есод и я получаю ошибку типа в какой-то шаблон Haskell-сгенерированного кода: Yesod\DataSource\Data.hs:19:1: Couldn't match type `[Char]' with `Text' Expected type:() -> ([Text], [(Tex