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

Question

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

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

[1, 2, 3, 4, 5]

[1,2,3,4,5]

[ 1
, 2
, 3
, 4
, 5
]

按照优先顺序。

Answer 1

您可以使用group先尝试一种替代方案，然后再尝试另一种替代方案。和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
]