如何顯式調用haskell語法的quasiquoter？

Question

我正在HaTeX之上建立一個eDSL。我面臨的問題是我想在我的LaTeX文檔中顯示Haskell表達式，並且我想使用相同的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仍然爲爲未回答的原因。對於Haskell來說，String -> Q Exp很難。最好的方法可能是通過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) |] }