在Haskell Text.Shakespeare.Text中忽略“惰性文本”准商标符中的前导空格

Question

我正在编写一个Haskell命令行程序，并使用来自Text.Shakespeare.Text的Text.Shakespeare.Text拟商器(“惰性文本”)。在叶索德书中，它说如果第一个非空白字符是反斜杠(\)，则hamlet拟商忽略前导空格。

这在lt准商中有效吗？

我的代码如下所示：

[lt|Usage: #{programName} [OPTION ...]
   \Version #{showVersion version}|]

但输出是

Usage: MyProg [OPTION ...]
    \Version 0.1.0.0

Version字符串缩进得太远(仍然包含反斜杠)。我还在反斜杠和V之间添加了一个空格。

这和莎士比亚的课文有可能吗？

Answer 1

这看起来并不难，但是自己添加这个特性并不难。lt只是一个QuasiQuoter，它是数据类型：

QuasiQuoter {
   quoteExp :: String -> Q Exp
 , quotePat :: String -> Q Pat
 , quoteType :: String -> Q Type
 , quoteDec :: String -> Q [Dec]
}

它们接受一个String，并返回适当的模板haskell类型(取决于在其中使用的上下文)。

转换字符串是一件很简单的事情，因此它可以像您用regex描述的那样工作：

stripWhiteSpaceBeforeBackslash :: String -> String
stripWhiteSpaceBeforeBackslash str = subRegex (mkRegex "^[[:space:]]*\\\\") str ""

此外，使用字符串转换函数转换QuasiQuoter的函数很简单：

transformQuasiQuoter :: (String -> String) -> QuasiQuoter -> QuasiQuoter
transformQuasiQuoter transform quasi = QuasiQuoter {
    quoteExp = (quoteExp quasi) . transform
  , quotePat = (quotePat quasi) . transform
  , quoteType = (quoteType quasi) . transform
  , quoteDec =  (quoteDec quasi) . transform
  }

现在，您可以制作一个lt版本，它可以满足您的需要：

lt_ = transformQuasiQuoter stripWhiteSpaceBeforeBackslash lt

使用它如预期的那样工作：

programName = "SomeProgram"
showVersion _ = "42.42.42"
version = 34

x = [lt_|Usage: #{programName} [OPTIONS...]
        \Version #{showVersion version}|]

x在ghci中计算为"Usage: SomeProgram [OPTIONS...]\nVersion 42.42.42"。