Module CurryInterface.Pretty

defaultOptions :: Options   

The default options for pretty printing: show everything

Further infos:

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

ppInterface :: Options -> Interface -> Doc   

pretty-print a Curry interface

ppModuleIdent :: Options -> ModuleIdent -> Doc   

pretty-print a ModuleIdent

ppImportDecl :: Options -> IImportDecl -> Doc   

pretty-print an import declaration

ppDecl :: Options -> IDecl -> Doc   

pretty-print a declaration

Further infos:

• partially defined

ppFunDeps :: Options -> [FunDep] -> Doc   

Further infos:

• partially defined

ppArity :: Options -> Int -> Doc   

pretty-print an arity

ppPrecedence :: Options -> Int -> Doc   

pretty-print a precedence

ppInfix :: Options -> Infix -> Doc   

pretty-print an infix declaration

Further infos:

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

ppIdent :: Options -> Int -> Ident -> Doc   

Pretty-print an Ident. If the second argument is non-zero, operators (i.e., strings with special characters) will be enclosed in parentheses.

ppQualIdent :: Options -> Int -> QualIdent -> Doc   

pretty-print a QualIdent

Further infos:

• partially defined

ppWithOptionalKind :: Options -> QualIdent -> Maybe KindExpr -> Doc   

pretty-print a QualIdent with an optional kind expression

Further infos:

• partially defined

ppTypeVariable :: Options -> Ident -> Doc   

pretty-print a type variable

ppTypeVariables :: Options -> [Ident] -> Doc   

pretty-print a list of type variables

ppNewConstructor :: Options -> NewConstrDecl -> Doc   

pretty-print a newtype constructor declaration

ppConstructor :: Options -> ConstrDecl -> Doc   

pretty-print a constructor declaration

ppConstructors :: Options -> [ConstrDecl] -> Doc   

pretty-print a list of constructor declarations

ppField :: Options -> FieldDecl -> Doc   

pretty-print a field declaration

ppFields :: Options -> [FieldDecl] -> Doc   

pretty-print a list of field declarations

ppModulePragma :: Options -> ModuleIdent -> Doc   

pretty-print a module pragma

ppHiddenPragma :: Options -> [Ident] -> Doc   

pretty-print a hidden pragma

ppMethodPragma :: Options -> Ident -> Doc   

pretty-print a method pragma

ppType :: Options -> Int -> TypeExpr -> Doc   

pretty-print a type declaration

Further infos:

• partially defined

ppQualType :: Options -> QualTypeExpr -> Doc   

pretty-print a QualType

ppConstraint :: Options -> Constraint -> Doc   

pretty-print a constraint

ppContext :: Options -> [Constraint] -> Doc   

pretty-print a context

ppMethodDecl :: Options -> IMethodDecl -> Doc   

pretty-print a method declaration

ppMethodDecls :: Options -> [IMethodDecl] -> Doc   

pretty-print a list of method declarations

ppInstance :: Options -> [TypeExpr] -> Doc   

pretty-print an instance

ppImplementation :: Options -> (Ident,Int) -> Doc   

pretty-print a method implementation

ppImplementations :: Options -> [(Ident,Int)] -> Doc   

pretty-print a list of method implementations

ppKindExpr :: Options -> Int -> KindExpr -> Doc   

pretty-print a kind expression

ppMaybe :: (a -> Doc) -> Maybe a -> Doc   

HELPER FUNCTIONS pretty-print Just as normal, Nothing as empty

isOperator :: String -> Bool   

Check if string is an operator

lpragma :: Doc   

pretty-print "{-#"

Further infos:

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

rpragma :: Doc   

pretty-print "-#}"

Further infos:

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

preludeCharType :: TypeExpr   

Prelude.Char type.

Further infos:

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

localCharType :: TypeExpr   

Local Char type.

Further infos:

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

isInstanceOf :: QualIdent -> IDecl -> Bool   

Checks if an instance of some type class is defined for a given identifier.

This function is used to determine whether the deriving clause of a data declaration should be shown. If the instance of the type class is defined locally, it is shown; otherwise, it is not shown.

Note that this only makes sense for type classes with a single type parameter.

funOfApply :: TypeExpr -> Maybe QualIdent