hets -- a heterogenous Specification (CASL) tool set Contents Index

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