Module FlatCurry.Annotated.Pretty

Exported Functions

ppProg :: AProg a -> Doc   

pretty-print a FlatCurry module

ppHeader :: String -> [TypeDecl] -> [AFuncDecl a] -> Doc   

pretty-print the module header

ppExports :: [TypeDecl] -> [AFuncDecl a] -> Doc   

pretty-print the export list

ppTypeExport :: TypeDecl -> Doc   

pretty-print a type export

Further infos:

• partially defined

ppConsExports :: [ConsDecl] -> [Doc]   

pretty-print the export list of constructors

ppFuncExports :: [AFuncDecl a] -> [Doc]   

pretty-print the export list of functions

ppImports :: [String] -> Doc   

pretty-print a list of import statements

ppImport :: String -> Doc   

pretty-print a single import statement

ppOpDecls :: [OpDecl] -> Doc   

pretty-print a list of operator fixity declarations

ppOpDecl :: OpDecl -> Doc   

pretty-print a single operator fixity declaration

ppFixity :: Fixity -> Doc   

pretty-print the associativity keyword

Further infos:

• solution complete, i.e., able to compute all solutions

ppTypeDecls :: [TypeDecl] -> Doc   

pretty-print a list of type declarations

ppTypeDecl :: TypeDecl -> Doc   

pretty-print a type declaration

ppConsDecls :: [ConsDecl] -> Doc   

pretty-print the constructor declarations

ppConsDecl :: ConsDecl -> Doc   

pretty print a single constructor

ppNewConsDecl :: NewConsDecl -> Doc   

pretty print a single newtype constructor

ppTypeExp :: TypeExpr -> Doc   

pretty a top-level type expression

ppTypeExpr :: Int -> TypeExpr -> Doc   

pretty-print a type expression

Further infos:

• partially defined

ppQuantifiedVars :: [(Int, Kind)] -> Doc   

pretty-print explicitly quantified type variables

Further infos:

• partially defined

ppTVarIndex :: Int -> Doc   

pretty-print a type variable

ppFuncDecls :: [AFuncDecl a] -> Doc   

pretty-print a list of function declarations

ppFuncDecl :: AFuncDecl a -> Doc   

pretty-print a function declaration

ppRule :: ARule a -> Doc   

pretty-print a function rule

Further infos:

• partially defined

ppExp :: AExpr a -> Doc   

pretty-print a top-level expression

ppExpr :: Int -> AExpr a -> Doc   

pretty-print an expression

Further infos:

• partially defined

ppAVarIndex :: (Int, a) -> Doc   

pretty-print an annotated variable

Further infos:

• partially defined

ppVarIndex :: Int -> Doc   

pretty-print a variable

Further infos:

• partially defined

ppLiteral :: Literal -> Doc   

pretty-print a literal

showEscape :: Char -> String   

Escape character literal

ppComb :: Int -> ((String, String), a) -> [AExpr b] -> Doc   

Pretty print a constructor or function call

Further infos:

• partially defined

ppDecls :: [((Int, a), AExpr b)] -> Doc   

pretty-print a list of declarations

ppDecl :: ((Int, a), AExpr b) -> Doc   

pretty-print a single declaration

ppCaseType :: CaseType -> Doc   

Pretty print the type of a case expression

Further infos:

• solution complete, i.e., able to compute all solutions

ppBranch :: ABranchExpr a -> Doc   

Pretty print a case branch

ppPattern :: APattern a -> Doc   

Pretty print a pattern

Further infos:

• partially defined

ppPrefixOp :: (String, String) -> Doc   

pretty-print a prefix operator

ppInfixOp :: (String, String) -> Doc   

pretty-print an infix operator

ppQName :: (String, String) -> Doc   

Pretty-print a qualified name

isInfixOp :: (String, String) -> Bool   

Check whether an operator is an infix operator

isListId :: (String, String) -> Bool   

Check whether an identifier represents a list

isTupleId :: (String, String) -> Bool   

Check whether an identifier represents a tuple

indent :: Doc -> Doc   

Indentation