| |||||||||||
| |||||||||||
Description | |||||||||||
printing data types of the abstract syntax | |||||||||||
Synopsis | |||||||||||
| |||||||||||
Documentation | |||||||||||
noPrint :: Bool -> Doc -> Doc | |||||||||||
short cut for: if b then empty else d | |||||||||||
bracket :: BracketKind -> Doc -> Doc | |||||||||||
put proper brackets around a document | |||||||||||
printKind :: GlobalAnnos -> Kind -> Doc | |||||||||||
print a Kind plus a preceding colon (or nothing for star) | |||||||||||
printEq0 :: GlobalAnnos -> String -> ProgEq -> Doc | |||||||||||
print an equation with different symbols between Pattern and Term | |||||||||||
printList0 :: PrettyPrint a => GlobalAnnos -> [a] -> Doc | |||||||||||
don't print an empty list and put parens around longer lists | |||||||||||
printPseudoType :: GlobalAnnos -> TypeScheme -> Doc | |||||||||||
print a TypeScheme as a pseudo type | |||||||||||
Produced by Haddock version 0.6 |