Pretty print ICurry programs
Author: Marc Andre Wittorf
ppIProg
:: IProg -> Doc
Pretty print an ICurry module |
ppHeader
:: String -> Doc
Pretty print an ICurry module header |
ppImports
:: [String] -> Doc
Pretty print an ICurry module import list |
ppImport
:: String -> Doc
Pretty print an import directive |
ppTypes
:: [((String,String),IVisibility,[Int],[IConstructor])] -> Doc
Pretty print ICurry types |
ppType
:: ((String,String),IVisibility,[Int],[IConstructor]) -> Doc
Pretty print an ICurry type |
ppConstructors
:: [IConstructor] -> Doc
Pretty print ICurry constructors |
ppConstructor
:: IConstructor -> Doc
Pretty print an ICurry constructor |
ppFunctions
:: [IFunction] -> Doc
Pretty print ICurry functions |
ppFunction
:: IFunction -> Doc
Pretty print an ICurry function |
ppQName
:: (String,String) -> Doc
Pretty print a qualified ICurry name (module.localname) |
ppArity
:: Int -> Doc
Pretty print an ICurry function's argument list |
ppFuncBody
:: IFuncBody -> Doc
Pretty print an ICurry function's body |
ppVars
:: [Int] -> Doc
Pretty print a list of variables |
ppVar
:: Int -> Doc
Pretty print a variable. |
ppTVars
:: [Int] -> Doc
Pretty print type variables |
ppTVar
:: Char -> Int -> Doc
Pretty print a type variable |
ppTExpr
:: Char -> ITExpr -> Doc
Pretty print a type expression |
ppBlock
:: IBlock -> Doc
Pretty print an ICurry block |
ppLocals
:: [Int] -> Doc
Pretty print local variable declarations |
ppAssignments
:: [(Int,IExpr)] -> Doc
Pretty print assignments |
ppAssignment
:: (Int,IExpr) -> Doc
Pretty print an assignment |
ppExprs
:: [IExpr] -> Doc
Pretty print comma separated expressions |
ppExpr
:: IExpr -> Doc
Pretty print an ICurry expression |
ppLit
:: ILiteral -> Doc
Pretty print an ICurry literal |
ppLitBranches
:: [ILitBranch] -> Doc
Pretty print branches over literals |
ppLitBranch
:: ILitBranch -> Doc
Pretty print a branch over literals |
ppConsBranches
:: [IConsBranch] -> Doc
Pretty print branches over constructors |
ppConsBranch
:: IConsBranch -> Doc
Pretty print a branch over constructors |
Pretty print an ICurry module
|
Pretty print an ICurry module header
|
Pretty print an ICurry module import list
|
Pretty print an import directive
|
Pretty print ICurry types
|
Pretty print an ICurry type
|
Pretty print ICurry constructors
|
Pretty print an ICurry constructor
|
Pretty print ICurry functions
|
Pretty print an ICurry function
|
Pretty print a qualified ICurry name (module.localname)
|
Pretty print an ICurry function's argument list
|
Pretty print an ICurry function's body
|
Pretty print a list of variables
|
Pretty print a variable. Variables are called x0, x1, ...
|
Pretty print type variables
|
Pretty print a type variable
|
Pretty print a type expression
|
Pretty print an ICurry block
|
Pretty print local variable declarations
|
Pretty print assignments
|
Pretty print an assignment
|
Pretty print comma separated expressions
|
Pretty print an ICurry expression
|
Pretty print an ICurry literal
|
Pretty print branches over literals
|
Pretty print a branch over literals
|
Pretty print branches over constructors
|
Pretty print a branch over constructors
|