template-haskell

10зной

1ответ

Как получить объявление функции с помощью `reify`?

Функция reify позволяет мне искать информацию об имени. Для функции возвращаемого значение VarI: data Info = ... | VarI Name Type (Maybe Dec) Fixity | ... Здесь я могу исследовать тип функции, и я х

8зной

2ответ

Шаблон Haskell: Как извлечь количество аргументов функции?

У меня есть функция, которая по заданной Name функции она дополняющая ее, получая еще одну функции, применяемой к какому-либо другому материалу (подробности не очень уместно): mkSimple :: Name -> Int

0зной

1ответ

Как ускользнуть от переименования символов в AST, генерируемых из цитаты выражения?

Вы можете увидеть в этом простом примере, как это переименовывает тип и значение конструкторы из A в A_0 и A_1 при преобразовании из выражения цитаты к AST: Prelude Language.Haskell.TH> runQ [d|data A

0зной

1ответ

Что делает эту функцию делать, Haskell

мне нужен алгоритм, который преобразует бен в десятичную я нашел следующий код в Интернете, но я просто не знаю, что означают некоторые переменные: bin2dec :: [Int] -> Int bin2dec n = foldl (\a x->2*

3зной

1ответ

Запись Синтаксис QuasiQuoter конструктора

documentation для шаблона Haskell говорит, что QuasiQuoter определяется как data QuasiQuoter = QuasiQuoter { quoteExp :: String -> Q Exp, quotePat :: String -> Q Pat, quoteType

1зной

2ответ

Как написать сплайсинг в цитате выражения?

Я пытаюсь написать заявление с помощью expression quotation, и все, что я пытаюсь компилятор не будет работать на модели с сообщением вроде следующего: Parse error in pattern: $pattern Вот пример: {