DDC.Data.Pretty

Pretty printer utilities.

This is a re-export of Daan Leijen's pretty printer package (wl-pprint), but with a Pretty class that includes a pprPrec function.

Documentation

class Pretty a where

Minimal complete definition

pprDefaultMode

Associated Types

data PrettyMode a

Methods

pprDefaultMode :: PrettyMode a

ppr :: a -> Doc

pprPrec :: Int -> a -> Doc

pprModePrec :: PrettyMode a -> Int -> a -> Doc

Instances

Pretty Bool

Associated Types

data PrettyMode Bool :: *

Methods

pprDefaultMode :: PrettyMode Bool

ppr :: Bool -> Doc

pprPrec :: Int -> Bool -> Doc

pprModePrec :: PrettyMode Bool -> Int -> Bool -> Doc

Pretty Char

Associated Types

data PrettyMode Char :: *

Methods

pprDefaultMode :: PrettyMode Char

ppr :: Char -> Doc

pprPrec :: Int -> Char -> Doc

pprModePrec :: PrettyMode Char -> Int -> Char -> Doc

Pretty Int

Associated Types

data PrettyMode Int :: *

Methods

pprDefaultMode :: PrettyMode Int

ppr :: Int -> Doc

pprPrec :: Int -> Int -> Doc

pprModePrec :: PrettyMode Int -> Int -> Int -> Doc

Pretty Integer

Associated Types

data PrettyMode Integer :: *

Methods

pprDefaultMode :: PrettyMode Integer

ppr :: Integer -> Doc

pprPrec :: Int -> Integer -> Doc

pprModePrec :: PrettyMode Integer -> Int -> Integer -> Doc

Pretty ()

Associated Types

data PrettyMode () :: *

Methods

pprDefaultMode :: PrettyMode ()

ppr :: () -> Doc

pprPrec :: Int -> () -> Doc

pprModePrec :: PrettyMode () -> Int -> () -> Doc

Pretty SourcePos

Associated Types

data PrettyMode SourcePos :: *

Methods

pprDefaultMode :: PrettyMode SourcePos

ppr :: SourcePos -> Doc

pprPrec :: Int -> SourcePos -> Doc

pprModePrec :: PrettyMode SourcePos -> Int -> SourcePos -> Doc

Pretty Universe

Associated Types

data PrettyMode Universe :: *

Methods

pprDefaultMode :: PrettyMode Universe

ppr :: Universe -> Doc

pprPrec :: Int -> Universe -> Doc

pprModePrec :: PrettyMode Universe -> Int -> Universe -> Doc

Pretty CheckTrace

Associated Types

data PrettyMode CheckTrace :: *

Methods

pprDefaultMode :: PrettyMode CheckTrace

ppr :: CheckTrace -> Doc

pprPrec :: Int -> CheckTrace -> Doc

pprModePrec :: PrettyMode CheckTrace -> Int -> CheckTrace -> Doc

Pretty Demand

Associated Types

data PrettyMode Demand :: *

Methods

pprDefaultMode :: PrettyMode Demand

ppr :: Demand -> Doc

pprPrec :: Int -> Demand -> Doc

pprModePrec :: PrettyMode Demand -> Int -> Demand -> Doc

Pretty a => Pretty [a]

Associated Types

data PrettyMode [a] :: *

Methods

pprDefaultMode :: PrettyMode [a]

ppr :: [a] -> Doc

pprPrec :: Int -> [a] -> Doc

pprModePrec :: PrettyMode [a] -> Int -> [a] -> Doc

Pretty a => Pretty (Set a)

Associated Types

data PrettyMode (Set a) :: *

Methods

pprDefaultMode :: PrettyMode (Set a)

ppr :: Set a -> Doc

pprPrec :: Int -> Set a -> Doc

pprModePrec :: PrettyMode (Set a) -> Int -> Set a -> Doc

(Eq n, Pretty n) => Pretty (Mode n)

Associated Types

data PrettyMode (Mode n) :: *

Methods

pprDefaultMode :: PrettyMode (Mode n)

ppr :: Mode n -> Doc

pprPrec :: Int -> Mode n -> Doc

pprModePrec :: PrettyMode (Mode n) -> Int -> Mode n -> Doc

(Pretty a, Pretty b) => Pretty (a, b)

Associated Types

data PrettyMode (a, b) :: *

Methods

pprDefaultMode :: PrettyMode (a, b)

ppr :: (a, b) -> Doc

pprPrec :: Int -> (a, b) -> Doc

pprModePrec :: PrettyMode (a, b) -> Int -> (a, b) -> Doc

Pretty (AnT a n)

Associated Types

data PrettyMode (AnT a n) :: *

Methods

pprDefaultMode :: PrettyMode (AnT a n)

ppr :: AnT a n -> Doc

pprPrec :: Int -> AnT a n -> Doc

pprModePrec :: PrettyMode (AnT a n) -> Int -> AnT a n -> Doc

Pretty (AnTEC a n)

Associated Types

data PrettyMode (AnTEC a n) :: *

Methods

pprDefaultMode :: PrettyMode (AnTEC a n)

ppr :: AnTEC a n -> Doc

pprPrec :: Int -> AnTEC a n -> Doc

pprModePrec :: PrettyMode (AnTEC a n) -> Int -> AnTEC a n -> Doc

(Pretty n, Eq n) => Pretty (Error a n)

Associated Types

data PrettyMode (Error a n) :: *

Methods

pprDefaultMode :: PrettyMode (Error a n)

ppr :: Error a n -> Doc

pprPrec :: Int -> Error a n -> Doc

pprModePrec :: PrettyMode (Error a n) -> Int -> Error a n -> Doc

(Eq n, Show n, Pretty n, Pretty (err (AnTEC SourcePos n))) => Pretty (Error n err)

Associated Types

data PrettyMode (Error n err) :: *

Methods

pprDefaultMode :: PrettyMode (Error n err)

ppr :: Error n err -> Doc

pprPrec :: Int -> Error n err -> Doc

pprModePrec :: PrettyMode (Error n err) -> Int -> Error n err -> Doc

pprParen :: Bool -> Doc -> Doc

Wrap a Doc in parens if the predicate is true.

padL :: Int -> Doc -> Doc

Rendering

data RenderMode

How to pretty print a doc.

Constructors

RenderPlain

Render the doc with indenting.

RenderIndent

Render the doc without indenting.

Instances

Eq RenderMode

Methods

(==) :: RenderMode -> RenderMode -> Bool

(/=) :: RenderMode -> RenderMode -> Bool

Show RenderMode

Methods

showsPrec :: Int -> RenderMode -> ShowS

show :: RenderMode -> String

showList :: [RenderMode] -> ShowS

render :: RenderMode -> Doc -> String

Render a doc with the given mode.

renderPlain :: Doc -> String

Convert a Doc to a string without indentation.

renderIndent :: Doc -> String

Convert a Doc to a string with indentation

putDoc :: RenderMode -> Doc -> IO ()

Put a Doc to stdout using the given mode.

putDocLn :: RenderMode -> Doc -> IO ()

Put a Doc to stdout using the given mode.