UHC.Util.Pretty

Documentation

module UHC.Util.PrettySimple

type PP_DocL = [PP_Doc]

Choice combinators

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

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

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

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]

PP in a blocklike fashion, vertically

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

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

See ppBlock, but with string delimiters aligned properly, preferring single line horizontal placement

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, preferring single line horizontal placement

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

PP horizontally or vertically with "{", " ", and "}" in a possibly multiline block structure, preferring single line horizontal placement

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

PP horizontally or vertically with "{", ";", and "}" in a possibly multiline block structure, preferring single line horizontal placement

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

PP horizontally or vertically with "{", ",", and "}" in a possibly multiline block structure, preferring single line horizontal placement

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

PP horizontally or vertically with "(", ";", and ")" in a possibly multiline block structure, preferring single line horizontal placement

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

Render

showPP :: PP a => a -> String

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 ()

Orphan instances

PP Bool

Methods

pp :: Bool -> PP_Doc

ppList :: [Bool] -> PP_Doc

PP Word32

Methods

pp :: Word32 -> PP_Doc

ppList :: [Word32] -> PP_Doc

PP ()

Methods

pp :: () -> PP_Doc

ppList :: [()] -> PP_Doc

PP ClockTime

Methods

pp :: ClockTime -> PP_Doc

ppList :: [ClockTime] -> PP_Doc

PP FPath

Methods

pp :: FPath -> PP_Doc

ppList :: [FPath] -> PP_Doc

PP a => PP (Maybe a)

Methods

pp :: Maybe a -> PP_Doc

ppList :: [Maybe a] -> PP_Doc

PP a => PP (Set a)

Methods

pp :: Set a -> PP_Doc

ppList :: [Set a] -> PP_Doc

(PP a, PP b) => PP (a, b)

Methods

pp :: (a, b) -> PP_Doc

ppList :: [(a, b)] -> PP_Doc

(PP a, PP b, PP c) => PP (a, b, c)

Methods

pp :: (a, b, c) -> PP_Doc

ppList :: [(a, b, c)] -> PP_Doc