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

Question

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

Очевидным ответом является копирование и вставка выражения так, чтобы оно отображалось как в кавычках, так и в реальном времени. Я хочу избежать этого, потому что выражение может быть изменено.

То, что я представляю, представляет собой квазицикл, который соединяет его содержимое по мере его появления и выводит строку, которая представляет его.

К примеру, вот что я хотел бы ввести:

document = do 
    title "this is an example document" 
    paragraph "This is normal text. We will now show the Haskell code that generates a table" 
    [quoted| makeTable ["heading1","heading2"] ["cell1","cell2"] |] 

, и я хотел бы квази цитату расширить до:

document = do 
    title "this is an example document" 
    paragraph "This is normal text. We will now show the Haskell code that generates a table" 
    makeTable ["heading1","heading2"] ["cell1","cell2"] 
    listing Haskell "makeTable [\"heading1\",\"heading2\"] [\"cell1\",\"cell2\"]" 

Для этого мне нужно написать QuasiQuoter:

quoted :: QuasiQuoter 
quoted = QuasiQuoter 
    { quoteExp = \str -> [e| $(_ str) >> listing Haskell $(lift str) |] } 

Я не уверен, что заменить дырку в $(_ str). Мне нужно заменить его выражением квазициклов выражения Haskell, но я не уверен, как его назвать. Если e был e :: QuasiQuoter, я мог бы заполнить отверстие $(quoteExp e str), но он, к сожалению, не работает. Что мне следует заполнить?

Answer 1

Короткий ответ: нет простого способа. This question по-прежнемубыл без ответа по причине. String -> Q Exp для Haskell жестко. Лучшим способом, вероятно, является haskell-src-meta, который предоставляет парсеры, которые возвращают шаблон Haskell AST. В частности, модуль Language.Haskell.Meta.Parse дает нам parseExp :: String -> Either String Exp.

import Language.Haskell.Meta.Parse (parseExp) 

quoted :: QuasiQuoter 
quoted = QuasiQuoter 
    { quoteExp = \str -> 
     case parseExp str of 
      Left msg -> fail "Could not parse expression." 
      Right exp -> [e| $(pure exp) >> listing Haskell $(liftString str) |] }