wl-pprint包中的一個vcat中的額外空行

Question

我使用wl-pprint包，因爲標準PrettyPrinter缺少功能。一切都很好，除了vcat函數中的空文檔（與<$>組合器相同）。

正確的行爲：

import Text.PrettyPrint 
> vcat[text "a", empty, text "b"] 
a 
b 

WL-pprint顯示了一個額外的空行：

import Text.PrettyPrint.Leijen 
> vcat[text "a", empty, text "b"] 
a 

b 

所以，我該怎麼辦？過濾vcat列表是不可能的，因爲Doc沒有Eq實例。

Answer 1

因爲我已經沒有什麼更好的想法，我做的源

(<$$>) :: Doc -> Doc -> Doc 
x <$$> Empty = x     -- <<< added 
Empty <$$> y = y     -- <<< added 
x <$$> y  = x <> linebreak <> y 

Answer 2

定義 vcatSoft = fold <//>

的docs說「的文件（VCAT XS）連接的所有文件與垂直XS（）」，並期待在<$$>，它說，它「會連接文件x和y在斷行之間。」但請注意下一個函數<//>，它使用softbreak代替。看看vcat的defn，它只是vcat = fold <$$>，所以定義一個函數= fold <//>。