Test.StateMachine.TreeDiff.Pretty

Utilities to pretty print Expr and EditExpr

Explicit dictionary

data Pretty doc

Because we don't want to commit to single pretty printing library, we use explicit dictionary.

Constructors

Pretty

Fields

• ppCon :: ConstructorName -> doc
• ppRec :: [(FieldName, doc)] -> doc
• ppLst :: [doc] -> doc
• ppCpy :: doc -> doc
• ppIns :: doc -> doc
• ppDel :: doc -> doc
• ppSep :: [doc] -> doc
• ppParens :: doc -> doc
• ppHang :: doc -> doc -> doc

ppExpr :: Pretty doc -> Expr -> doc

Pretty print an Expr using explicit pretty-printing dictionary.

ppEditExpr :: Pretty doc -> Edit EditExpr -> doc

Pretty print an Edit EditExpr using explicit pretty-printing dictionary.

ppEditExprCompact :: Pretty doc -> Edit EditExpr -> doc

Like ppEditExpr but print unchanged parts only shallowly

pretty

prettyPretty :: Pretty Doc

Pretty via pretty library.

prettyExpr :: Expr -> Doc

Pretty print Expr using pretty.

>>> prettyExpr $ Rec "ex" (Map.fromList [("[]", App "bar" [])])
ex {`[]` = bar}

prettyEditExpr :: Edit EditExpr -> Doc

Pretty print Edit EditExpr using pretty.

prettyEditExprCompact :: Edit EditExpr -> Doc

Compact prettyEditExpr.

prettyprinter

ansiWlPretty :: Pretty (Doc AnsiStyle)

Pretty via prettyprinter library (with colors).

ansiWlExpr :: Expr -> Doc AnsiStyle

Pretty print Expr using prettyprinter.

ansiWlEditExpr :: Edit EditExpr -> Doc AnsiStyle

Pretty print Edit EditExpr using prettyprinter.

ansiWlEditExprCompact :: Edit EditExpr -> Doc AnsiStyle

Compact ansiWlEditExpr

background

ansiWlBgPretty :: Pretty (Doc AnsiStyle)

Like ansiWlPretty but color the background.

ansiWlBgExpr :: Expr -> Doc AnsiStyle

Pretty print Expr using prettyprinter.

ansiWlBgEditExpr :: Edit EditExpr -> Doc AnsiStyle

Pretty print Edit EditExpr using prettyprinter.

ansiWlBgEditExprCompact :: Edit EditExpr -> Doc AnsiStyle

Compact ansiWlBgEditExpr.

Utilities

escapeName :: String -> String

Escape field or constructor name

>>> putStrLn $ escapeName "Foo"
Foo

>>> putStrLn $ escapeName "_×_"
_×_

>>> putStrLn $ escapeName "-3"
`-3`

>>> putStrLn $ escapeName "kebab-case"
kebab-case

>>> putStrLn $ escapeName "inner space"
`inner space`

>>> putStrLn $ escapeName $ show "looks like a string"
"looks like a string"

>>> putStrLn $ escapeName $ show "tricky" ++ "   "
`"tricky"   `

>>> putStrLn $ escapeName "[]"
`[]`

>>> putStrLn $ escapeName "_,_"
`_,_`