curry-frontend-2.0.0: Compile the functional logic language Curry to several intermediate formats
Copyright(c) 2013 - 2014 Björn Peemöller
2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilitystable
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.Base.Pretty

Description

This module re-exports the well known pretty printing combinators from Hughes and Peyton-Jones. In addition, it re-exports the type class Pretty for pretty printing arbitrary types.

Synopsis

Documentation

class Pretty a where Source #

Pretty printing class. The precedence level is used in a similar way as in the Show class. Minimal complete definition is either pPrintPrec or pPrint.

Minimal complete definition

pPrintPrec | pPrint

Methods

pPrint :: a -> Doc Source #

Pretty-print something in isolation.

pPrintPrec :: Int -> a -> Doc Source #

Pretty-print something in a precedence context.

pPrintList :: [a] -> Doc Source #

Pretty-print a list.

Instances

Instances details
Pretty Bool Source #

Instance for Bool

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Bool -> Doc Source #

pPrintPrec :: Int -> Bool -> Doc Source #

pPrintList :: [Bool] -> Doc Source #

Pretty Char Source #

Instance for Char

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Char -> Doc Source #

pPrintPrec :: Int -> Char -> Doc Source #

pPrintList :: [Char] -> Doc Source #

Pretty Double Source #

Instance for Double

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Double -> Doc Source #

pPrintPrec :: Int -> Double -> Doc Source #

pPrintList :: [Double] -> Doc Source #

Pretty Float Source #

Instance for Float

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Float -> Doc Source #

pPrintPrec :: Int -> Float -> Doc Source #

pPrintList :: [Float] -> Doc Source #

Pretty Int Source #

Instance for Int

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Int -> Doc Source #

pPrintPrec :: Int -> Int -> Doc Source #

pPrintList :: [Int] -> Doc Source #

Pretty Integer Source #

Instance for Integer

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Integer -> Doc Source #

pPrintPrec :: Int -> Integer -> Doc Source #

pPrintList :: [Integer] -> Doc Source #

Pretty Ordering Source #

Instance for Ordering

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Ordering -> Doc Source #

pPrintPrec :: Int -> Ordering -> Doc Source #

pPrintList :: [Ordering] -> Doc Source #

Pretty () Source #

Instance for ()

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: () -> Doc Source #

pPrintPrec :: Int -> () -> Doc Source #

pPrintList :: [()] -> Doc Source #

Pretty Kind Source # 
Instance details

Defined in Base.PrettyKinds

Methods

pPrint :: Kind -> Doc Source #

pPrintPrec :: Int -> Kind -> Doc Source #

pPrintList :: [Kind] -> Doc Source #

Pretty Position Source # 
Instance details

Defined in Curry.Base.Position

Methods

pPrint :: Position -> Doc Source #

pPrintPrec :: Int -> Position -> Doc Source #

pPrintList :: [Position] -> Doc Source #

Pretty Span Source # 
Instance details

Defined in Curry.Base.Span

Methods

pPrint :: Span -> Doc Source #

pPrintPrec :: Int -> Span -> Doc Source #

pPrintList :: [Span] -> Doc Source #

Pretty Message Source # 
Instance details

Defined in Curry.Base.Message

Methods

pPrint :: Message -> Doc Source #

pPrintPrec :: Int -> Message -> Doc Source #

pPrintList :: [Message] -> Doc Source #

Pretty QualIdent Source # 
Instance details

Defined in Curry.Base.Ident

Methods

pPrint :: QualIdent -> Doc Source #

pPrintPrec :: Int -> QualIdent -> Doc Source #

pPrintList :: [QualIdent] -> Doc Source #

Pretty Ident Source # 
Instance details

Defined in Curry.Base.Ident

Methods

pPrint :: Ident -> Doc Source #

pPrintPrec :: Int -> Ident -> Doc Source #

pPrintList :: [Ident] -> Doc Source #

Pretty ModuleIdent Source # 
Instance details

Defined in Curry.Base.Ident

Methods

pPrint :: ModuleIdent -> Doc Source #

pPrintPrec :: Int -> ModuleIdent -> Doc Source #

pPrintList :: [ModuleIdent] -> Doc Source #

Pretty Op Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Op -> Doc Source #

pPrintPrec :: Int -> Op -> Doc Source #

pPrintList :: [Op] -> Doc Source #

Pretty Cond Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Cond -> Doc Source #

pPrintPrec :: Int -> Cond -> Doc Source #

pPrintList :: [Cond] -> Doc Source #

Pretty Elif Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Elif -> Doc Source #

pPrintPrec :: Int -> Elif -> Doc Source #

pPrintList :: [Elif] -> Doc Source #

Pretty Else Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Else -> Doc Source #

pPrintPrec :: Int -> Else -> Doc Source #

pPrintList :: [Else] -> Doc Source #

Pretty Stmt Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Stmt -> Doc Source #

pPrintPrec :: Int -> Stmt -> Doc Source #

pPrintList :: [Stmt] -> Doc Source #

Pretty Pattern Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: Pattern -> Doc Source #

pPrintPrec :: Int -> Pattern -> Doc Source #

pPrintList :: [Pattern] -> Doc Source #

Pretty BranchExpr Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: BranchExpr -> Doc Source #

pPrintPrec :: Int -> BranchExpr -> Doc Source #

pPrintList :: [BranchExpr] -> Doc Source #

Pretty CaseType Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: CaseType -> Doc Source #

pPrintPrec :: Int -> CaseType -> Doc Source #

pPrintList :: [CaseType] -> Doc Source #

Pretty Literal Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: Literal -> Doc Source #

pPrintPrec :: Int -> Literal -> Doc Source #

pPrintList :: [Literal] -> Doc Source #

Pretty Expr Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: Expr -> Doc Source #

pPrintPrec :: Int -> Expr -> Doc Source #

pPrintList :: [Expr] -> Doc Source #

Pretty Rule Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: Rule -> Doc Source #

pPrintPrec :: Int -> Rule -> Doc Source #

pPrintList :: [Rule] -> Doc Source #

Pretty FuncDecl Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: FuncDecl -> Doc Source #

pPrintPrec :: Int -> FuncDecl -> Doc Source #

pPrintList :: [FuncDecl] -> Doc Source #

Pretty Fixity Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: Fixity -> Doc Source #

pPrintPrec :: Int -> Fixity -> Doc Source #

pPrintList :: [Fixity] -> Doc Source #

Pretty OpDecl Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: OpDecl -> Doc Source #

pPrintPrec :: Int -> OpDecl -> Doc Source #

pPrintList :: [OpDecl] -> Doc Source #

Pretty TypeExpr Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: TypeExpr -> Doc Source #

pPrintPrec :: Int -> TypeExpr -> Doc Source #

pPrintList :: [TypeExpr] -> Doc Source #

Pretty NewConsDecl Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: NewConsDecl -> Doc Source #

pPrintPrec :: Int -> NewConsDecl -> Doc Source #

pPrintList :: [NewConsDecl] -> Doc Source #

Pretty ConsDecl Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: ConsDecl -> Doc Source #

pPrintPrec :: Int -> ConsDecl -> Doc Source #

pPrintList :: [ConsDecl] -> Doc Source #

Pretty TypeDecl Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: TypeDecl -> Doc Source #

pPrintPrec :: Int -> TypeDecl -> Doc Source #

pPrintList :: [TypeDecl] -> Doc Source #

Pretty Prog Source # 
Instance details

Defined in Curry.FlatCurry.Pretty

Methods

pPrint :: Prog -> Doc Source #

pPrintPrec :: Int -> Prog -> Doc Source #

pPrintList :: [Prog] -> Doc Source #

Pretty Tool Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Tool -> Doc Source #

pPrintPrec :: Int -> Tool -> Doc Source #

pPrintList :: [Tool] -> Doc Source #

Pretty Extension Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Extension -> Doc Source #

pPrintPrec :: Int -> Extension -> Doc Source #

pPrintList :: [Extension] -> Doc Source #

Pretty CaseType Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: CaseType -> Doc Source #

pPrintPrec :: Int -> CaseType -> Doc Source #

pPrintList :: [CaseType] -> Doc Source #

Pretty Literal Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Literal -> Doc Source #

pPrintPrec :: Int -> Literal -> Doc Source #

pPrintList :: [Literal] -> Doc Source #

Pretty Constraint Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Constraint -> Doc Source #

pPrintPrec :: Int -> Constraint -> Doc Source #

pPrintList :: [Constraint] -> Doc Source #

Pretty QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: QualTypeExpr -> Doc Source #

pPrintPrec :: Int -> QualTypeExpr -> Doc Source #

pPrintList :: [QualTypeExpr] -> Doc Source #

Pretty TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: TypeExpr -> Doc Source #

pPrintPrec :: Int -> TypeExpr -> Doc Source #

pPrintList :: [TypeExpr] -> Doc Source #

Pretty FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: FieldDecl -> Doc Source #

pPrintPrec :: Int -> FieldDecl -> Doc Source #

pPrintList :: [FieldDecl] -> Doc Source #

Pretty NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: NewConstrDecl -> Doc Source #

pPrintPrec :: Int -> NewConstrDecl -> Doc Source #

pPrintList :: [NewConstrDecl] -> Doc Source #

Pretty ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ConstrDecl -> Doc Source #

pPrintPrec :: Int -> ConstrDecl -> Doc Source #

pPrintList :: [ConstrDecl] -> Doc Source #

Pretty Infix Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

pPrint :: Infix -> Doc Source #

pPrintPrec :: Int -> Infix -> Doc Source #

pPrintList :: [Infix] -> Doc Source #

Pretty KindExpr Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: KindExpr -> Doc Source #

pPrintPrec :: Int -> KindExpr -> Doc Source #

pPrintList :: [KindExpr] -> Doc Source #

Pretty IMethodDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: IMethodDecl -> Doc Source #

pPrintPrec :: Int -> IMethodDecl -> Doc Source #

pPrintList :: [IMethodDecl] -> Doc Source #

Pretty IDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: IDecl -> Doc Source #

pPrintPrec :: Int -> IDecl -> Doc Source #

pPrintList :: [IDecl] -> Doc Source #

Pretty IImportDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: IImportDecl -> Doc Source #

pPrintPrec :: Int -> IImportDecl -> Doc Source #

pPrintList :: [IImportDecl] -> Doc Source #

Pretty Interface Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Interface -> Doc Source #

pPrintPrec :: Int -> Interface -> Doc Source #

pPrintList :: [Interface] -> Doc Source #

Pretty Import Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Import -> Doc Source #

pPrintPrec :: Int -> Import -> Doc Source #

pPrintList :: [Import] -> Doc Source #

Pretty ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ImportSpec -> Doc Source #

pPrintPrec :: Int -> ImportSpec -> Doc Source #

pPrintList :: [ImportSpec] -> Doc Source #

Pretty ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ImportDecl -> Doc Source #

pPrintPrec :: Int -> ImportDecl -> Doc Source #

pPrintList :: [ImportDecl] -> Doc Source #

Pretty Export Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Export -> Doc Source #

pPrintPrec :: Int -> Export -> Doc Source #

pPrintList :: [Export] -> Doc Source #

Pretty ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ExportSpec -> Doc Source #

pPrintPrec :: Int -> ExportSpec -> Doc Source #

pPrintList :: [ExportSpec] -> Doc Source #

Pretty ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ModulePragma -> Doc Source #

pPrintPrec :: Int -> ModulePragma -> Doc Source #

pPrintList :: [ModulePragma] -> Doc Source #

Pretty TypeScheme Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: TypeScheme -> Doc Source #

pPrintPrec :: Int -> TypeScheme -> Doc Source #

pPrintList :: [TypeScheme] -> Doc Source #

Pretty ClassMethod Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: ClassMethod -> Doc Source #

pPrintPrec :: Int -> ClassMethod -> Doc Source #

pPrintList :: [ClassMethod] -> Doc Source #

Pretty DataConstr Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: DataConstr -> Doc Source #

pPrintPrec :: Int -> DataConstr -> Doc Source #

pPrintList :: [DataConstr] -> Doc Source #

Pretty PredType Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: PredType -> Doc Source #

pPrintPrec :: Int -> PredType -> Doc Source #

pPrintList :: [PredType] -> Doc Source #

Pretty Pred Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: Pred -> Doc Source #

pPrintPrec :: Int -> Pred -> Doc Source #

pPrintList :: [Pred] -> Doc Source #

Pretty Type Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: Type -> Doc Source #

pPrintPrec :: Int -> Type -> Doc Source #

pPrintList :: [Type] -> Doc Source #

Pretty PrecInfo Source # 
Instance details

Defined in Env.OpPrec

Methods

pPrint :: PrecInfo -> Doc Source #

pPrintPrec :: Int -> PrecInfo -> Doc Source #

pPrintList :: [PrecInfo] -> Doc Source #

Pretty OpPrec Source # 
Instance details

Defined in Env.OpPrec

Methods

pPrint :: OpPrec -> Doc Source #

pPrintPrec :: Int -> OpPrec -> Doc Source #

pPrintList :: [OpPrec] -> Doc Source #

Pretty TypeInfo Source # 
Instance details

Defined in Env.TypeConstructor

Methods

pPrint :: TypeInfo -> Doc Source #

pPrintPrec :: Int -> TypeInfo -> Doc Source #

pPrintList :: [TypeInfo] -> Doc Source #

Pretty ValueInfo Source # 
Instance details

Defined in Env.Value

Methods

pPrint :: ValueInfo -> Doc Source #

pPrintPrec :: Int -> ValueInfo -> Doc Source #

pPrintList :: [ValueInfo] -> Doc Source #

Pretty a => Pretty [a] Source #

Instance for '[]'

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: [a] -> Doc Source #

pPrintPrec :: Int -> [a] -> Doc Source #

pPrintList :: [[a]] -> Doc Source #

Pretty a => Pretty (Maybe a) Source #

Instance for Maybe

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Maybe a -> Doc Source #

pPrintPrec :: Int -> Maybe a -> Doc Source #

pPrintList :: [Maybe a] -> Doc Source #

Pretty a => Pretty (Set a) Source # 
Instance details

Defined in Base.PrettyTypes

Methods

pPrint :: Set a -> Doc Source #

pPrintPrec :: Int -> Set a -> Doc Source #

pPrintList :: [Set a] -> Doc Source #

Pretty (Var a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Var a -> Doc Source #

pPrintPrec :: Int -> Var a -> Doc Source #

pPrintList :: [Var a] -> Doc Source #

Pretty a => Pretty (Field a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Field a -> Doc Source #

pPrintPrec :: Int -> Field a -> Doc Source #

pPrintList :: [Field a] -> Doc Source #

Pretty (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Alt a -> Doc Source #

pPrintPrec :: Int -> Alt a -> Doc Source #

pPrintList :: [Alt a] -> Doc Source #

Pretty (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Statement a -> Doc Source #

pPrintPrec :: Int -> Statement a -> Doc Source #

pPrintList :: [Statement a] -> Doc Source #

Pretty (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: InfixOp a -> Doc Source #

pPrintPrec :: Int -> InfixOp a -> Doc Source #

pPrintList :: [InfixOp a] -> Doc Source #

Pretty (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Expression a -> Doc Source #

pPrintPrec :: Int -> Expression a -> Doc Source #

pPrintList :: [Expression a] -> Doc Source #

Pretty (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Pattern a -> Doc Source #

pPrintPrec :: Int -> Pattern a -> Doc Source #

pPrintList :: [Pattern a] -> Doc Source #

Pretty (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Lhs a -> Doc Source #

pPrintPrec :: Int -> Lhs a -> Doc Source #

pPrintList :: [Lhs a] -> Doc Source #

Pretty (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Equation a -> Doc Source #

pPrintPrec :: Int -> Equation a -> Doc Source #

pPrintList :: [Equation a] -> Doc Source #

Pretty (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Decl a -> Doc Source #

pPrintPrec :: Int -> Decl a -> Doc Source #

pPrintList :: [Decl a] -> Doc Source #

Pretty (Module a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Module a -> Doc Source #

pPrintPrec :: Int -> Module a -> Doc Source #

pPrintList :: [Module a] -> Doc Source #

(Pretty a, Pretty b) => Pretty (Either a b) Source #

Instance for Either

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: Either a b -> Doc Source #

pPrintPrec :: Int -> Either a b -> Doc Source #

pPrintList :: [Either a b] -> Doc Source #

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

Instance for (,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b) -> Doc Source #

pPrintPrec :: Int -> (a, b) -> Doc Source #

pPrintList :: [(a, b)] -> Doc Source #

(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c) Source #

Instance for (,,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b, c) -> Doc Source #

pPrintPrec :: Int -> (a, b, c) -> Doc Source #

pPrintList :: [(a, b, c)] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d) Source #

Instance for (,,,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b, c, d) -> Doc Source #

pPrintPrec :: Int -> (a, b, c, d) -> Doc Source #

pPrintList :: [(a, b, c, d)] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e) => Pretty (a, b, c, d, e) Source #

Instance for (,,,,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b, c, d, e) -> Doc Source #

pPrintPrec :: Int -> (a, b, c, d, e) -> Doc Source #

pPrintList :: [(a, b, c, d, e)] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f) => Pretty (a, b, c, d, e, f) Source #

Instance for (,,,,,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b, c, d, e, f) -> Doc Source #

pPrintPrec :: Int -> (a, b, c, d, e, f) -> Doc Source #

pPrintList :: [(a, b, c, d, e, f)] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g) => Pretty (a, b, c, d, e, f, g) Source #

Instance for (,,,,,,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b, c, d, e, f, g) -> Doc Source #

pPrintPrec :: Int -> (a, b, c, d, e, f, g) -> Doc Source #

pPrintList :: [(a, b, c, d, e, f, g)] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g, Pretty h) => Pretty (a, b, c, d, e, f, g, h) Source #

Instance for (,,,,,,,)

Instance details

Defined in Curry.Base.Pretty

Methods

pPrint :: (a, b, c, d, e, f, g, h) -> Doc Source #

pPrintPrec :: Int -> (a, b, c, d, e, f, g, h) -> Doc Source #

pPrintList :: [(a, b, c, d, e, f, g, h)] -> Doc Source #

prettyShow :: Pretty a => a -> String Source #

Pretty print a value to a String.

parenIf :: Bool -> Doc -> Doc Source #

Parenthesize an value if the boolean is true.

ppIf :: Bool -> Doc -> Doc Source #

Pretty print a value if the boolean is true

maybePP :: (a -> Doc) -> Maybe a -> Doc Source #

Pretty print a Maybe value for the Just constructor only

blankLine :: Doc Source #

A blank line.

($++$) :: Doc -> Doc -> Doc Source #

Above with a blank line in between. If one of the documents is empty, then the other document is returned.

($-$) :: Doc -> Doc -> Doc Source #

Above with overlapping, but with a space in between. If one of the documents is empty, then the other document is returned.

sepByBlankLine :: [Doc] -> Doc Source #

Seperate a list of Docs by a blankLine.

dot :: Doc Source #

A . character.

appPrec :: Int Source #

Precedence of function application

larrow :: Doc Source #

A left arrow <-.

rarrow :: Doc Source #

A right arrow ->.

darrow :: Doc Source #

A double arrow =>.

backQuote :: Doc Source #

A back quote `.

backsl :: Doc Source #

A backslash @@.

vbar :: Doc Source #

A vertical bar |.

bquotes :: Doc -> Doc Source #

Set a document in backquotes.

bquotesIf :: Bool -> Doc -> Doc Source #

Set a document in backquotes if the condition is True.

list :: [Doc] -> Doc Source #

Seperate a list of documents by commas

module Text.PrettyPrint