UHC.Util.Pretty

Documentation

module UHC.Util.PrettySimple

type PP_DocL = [PP_Doc]

Choice combinators

(>-|-<) :: (PP a, PP b) => a -> b -> PP_Doc

As (>|but doing (-<) when does not fit on single line

(>-#-<) :: (PP a, PP b) => a -> b -> PP_Doc

As (>#but doing (-<) when does not fit on single line

General PP for list

ppListSep :: (PP s, PP c, PP o, PP a) => o -> c -> s -> [a] -> PP_Doc

PP list with open, separator, and close

ppListSepV :: (PP s, PP c, PP o, PP a) => o -> c -> s -> [a] -> PP_Doc

Deprecated: Use pp...Block variants

ppListSepVV :: (PP s, PP c, PP o, PP a) => o -> c -> s -> [a] -> PP_Doc

Deprecated: Use pp...Block variants

Pack PP around

ppCurlys :: PP p => p -> PP_Doc

ppPacked :: (PP o, PP c, PP p) => o -> c -> p -> PP_Doc

ppPackedWithStrings :: PP p => String -> String -> p -> PP_Doc

ppParens :: PP p => p -> PP_Doc

ppCurly :: PP p => p -> PP_Doc

ppBrackets :: PP p => p -> PP_Doc

ppVBar :: PP p => p -> PP_Doc

Block, horizontal/vertical as required

ppBlock :: (PP ocs, PP a) => ocs -> ocs -> ocs -> [a] -> PP_Doc

PP list with open, separator, and close in a possibly multiline block structure

ppBlockH :: (PP ocs, PP a) => ocs -> ocs -> ocs -> [a] -> PP_Doc

PP list with open, separator, and close in a possibly multiline block structure

ppBlock' :: (PP ocs, PP a) => ocs -> ocs -> ocs -> ocs -> [a] -> [PP_Doc]

ppBlockWithStrings :: PP a => String -> String -> String -> [a] -> PP_Doc

See ppBlock, but with string delimiters aligned properly

ppBlockWithStrings' :: PP a => String -> String -> String -> [a] -> [PP_Doc]

See ppBlock, but with string delimiters aligned properly, yielding a list of elements

ppParensCommasBlock :: PP a => [a] -> PP_Doc

PP horizontally or vertically with (, ,, and ) in a possibly multiline block structure

ppCurlysBlock :: PP a => [a] -> PP_Doc

PP horizontally or vertically with {, , and } in a possibly multiline block structure

ppCurlysSemisBlock :: PP a => [a] -> PP_Doc

PP horizontally or vertically with {, ;, and } in a possibly multiline block structure

ppCurlysCommasBlock :: PP a => [a] -> PP_Doc

PP horizontally or vertically with {, ,, and } in a possibly multiline block structure

ppParensSemisBlock :: PP a => [a] -> PP_Doc

PP horizontally or vertically with (, ;, and ) in a possibly multiline block structure

ppBracketsCommasBlock :: PP a => [a] -> PP_Doc

PP horizontally or vertically with [, ,, and ] in a possibly multiline block structure

ppParensCommasBlockH :: PP a => [a] -> PP_Doc

PP horizontally or vertically with (, ,, and ) in a possibly multiline block structure

ppCurlysBlockH :: PP a => [a] -> PP_Doc

PP horizontally or vertically with {, , and } in a possibly multiline block structure

ppCurlysSemisBlockH :: PP a => [a] -> PP_Doc

PP horizontally or vertically with {, ;, and } in a possibly multiline block structure

ppCurlysCommasBlockH :: PP a => [a] -> PP_Doc

PP horizontally or vertically with {, ,, and } in a possibly multiline block structure

ppParensSemisBlockH :: PP a => [a] -> PP_Doc

PP horizontally or vertically with (, ;, and ) in a possibly multiline block structure

ppBracketsCommasBlockH :: PP a => [a] -> PP_Doc

PP horizontally or vertically with [, ,, and ] in a possibly multiline block structure

ppBracketsCommasV :: PP a => [a] -> PP_Doc

Deprecated: Use ppBracketsCommasBlock

PP horizontally or vertically with [, ,, and ] in a possibly multiline block structure

Vertical PP of list only

ppVertically :: [PP_Doc] -> PP_Doc

Alias for vlist

Horizontal PP of list only

ppCommas :: PP a => [a] -> PP_Doc

PP horizontally: list separated by comma

ppCommas' :: PP a => [a] -> PP_Doc

PP horizontally: list separated by comma + single blank

ppSemis :: PP a => [a] -> PP_Doc

PP horizontally: list separated by semicolon

ppSemis' :: PP a => [a] -> PP_Doc

PP horizontally: list separated by semicolon + single blank

ppSpaces :: PP a => [a] -> PP_Doc

PP horizontally: list separated by single blank

ppCurlysCommas :: PP a => [a] -> PP_Doc

PP horizontally with {, ,, and }

ppCurlysCommas' :: PP a => [a] -> PP_Doc

PP horizontally with {, , , and }

ppCurlysCommasWith :: PP a => (a -> PP_Doc) -> [a] -> PP_Doc

ppCurlysSemis :: PP a => [a] -> PP_Doc

PP horizontally with {, ;, and }

ppCurlysSemis' :: PP a => [a] -> PP_Doc

PP horizontally with {, ; , and }

ppParensSpaces :: PP a => [a] -> PP_Doc

PP horizontally with (, , and )

ppParensCommas :: PP a => [a] -> PP_Doc

PP horizontally with (, ,, and )

ppParensCommas' :: PP a => [a] -> PP_Doc

PP horizontally with (, , , and )

ppBracketsCommas :: PP a => [a] -> PP_Doc

PP horizontally with [, ,, and ]

ppBracketsCommas' :: PP a => [a] -> PP_Doc

PP horizontally with [, , , and ]

ppHorizontally :: [PP_Doc] -> PP_Doc

Alias for hlist

ppListSepFill :: (PP s, PP c, PP o, PP a) => o -> c -> s -> [a] -> PP_Doc

Deprecated: Use ppListSep

Conditional

ppMbPre :: (PP x, PP r) => (a -> x) -> Maybe a -> r -> PP_Doc

Only prefix with a Maybe and extra space when Just

ppMbPost :: (PP x, PP r) => (a -> x) -> Maybe a -> r -> PP_Doc

Only suffix with a Maybe and extra space when Just

ppListPre :: (PP x, PP r) => ([a] -> x) -> [a] -> r -> PP_Doc

Only prefix with a list and extra space when non-empty

ppListPost :: (PP x, PP r) => ([a] -> x) -> [a] -> r -> PP_Doc

Only suffix with a list and extra space when non-empty

Misc

ppDots :: PP a => [a] -> PP_Doc

ppMb :: PP a => Maybe a -> PP_Doc

ppUnless :: PP x => Bool -> x -> PP_Doc

Guard around PP: if False pass through

ppWhen :: PP x => Bool -> x -> PP_Doc

Guard around PP: if True pass through

IO

hPutWidthPPLn :: Handle -> Int -> PP_Doc -> IO ()

putWidthPPLn :: Int -> PP_Doc -> IO ()

hPutPPLn :: Handle -> PP_Doc -> IO ()

putPPLn :: PP_Doc -> IO ()

hPutPPFile :: Handle -> PP_Doc -> Int -> IO ()

putPPFile :: String -> PP_Doc -> Int -> IO ()

putPPFPath :: FPath -> PP_Doc -> Int -> IO ()