hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.PrintAs
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
printing data types of the abstract syntax
Synopsis
noPrint :: Bool -> Doc -> Doc
bracket :: BracketKind -> Doc -> Doc
printKind :: GlobalAnnos -> Kind -> Doc
printEq0 :: GlobalAnnos -> String -> ProgEq -> Doc
printList0 :: PrettyPrint a => GlobalAnnos -> [a] -> Doc
printPseudoType :: GlobalAnnos -> TypeScheme -> Doc
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