wl-pprint-extras 中的可选空格和多个替代项

是否有一种好的/可接受的方法来获得两种以上的替代布局，特别是支持可选空间的方式？

特别是，我可能想通过以下三种方式之一打印列表：

[1, 2, 3, 4, 5]

[1,2,3,4,5]

[ 1
, 2
, 3
, 4
, 5
]

按照该优先顺序。

您可以先尝试一种替代方案，然后再尝试另一种替代方案group and flatAlt.

(<|>) :: Doc e -> Doc e -> Doc e
a <|> b = group $ flatAlt b a

infixl 5 <|>

我们将定义您的三个示例。

{-# LANGUAGE OverloadedStrings #-}

import Text.PrettyPrint.Free
import System.IO

items = map char ['1'..'5']

widest = brackets . hcat . punctuate ", " $ items
wide   = brackets . hcat . punctuate ","  $ items
skinny = brackets . hcat . punctuate "," . map (\x -> " " <> x <> linebreak) $ items

其中最宽的适合屏幕显示，widestFits，可以定义为<|>我们上面定义的。

widestFits = widest <|> wide <|> skinny

我们将尝试在三个文档上漂亮地打印这些内容，其中一个足够宽以容纳widest例如，宽度仅足以容纳wide一个例子，一个也不能容纳的例子。

main = do
    displayIO stdout $ renderPretty 1.0 15 widestFits
    putStrLn ""
    displayIO stdout $ renderPretty 1.0 14 widestFits   
    putStrLn "" 
    displayIO stdout $ renderPretty 1.0 10 widestFits
    putStrLn "

这会产生所需的输出。

[1, 2, 3, 4, 5]
[1,2,3,4,5]
[ 1
, 2
, 3
, 4
, 5
]