 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
Common.PrettyPrint | Portability | portable | Stability | provisional | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
This class needs to be instantiated for every datastructure in AS_*
for LaTeX and isolatin-1 pretty printing. It is only neccessary to
provide one isolatin-1 printing method for prototypes, but for real
nice output you need to implement every method.
|
|
Synopsis |
|
|
|
Documentation |
|
showPretty :: PrettyPrint a => a -> ShowS |
a more pretty alternative for shows |
|
renderLatex :: Maybe Int -> Doc -> String |
|
debugRenderLatex :: Maybe Int -> Doc -> String |
|
renderText :: Maybe Int -> Doc -> String |
|
class Show a => PrettyPrint a where |
|
|
renderLatexVerb :: Maybe Int -> Doc -> String |
|
startTab :: String |
a constant String for starting a LaTeX indentation with tab stop |
|
endTab :: String |
a constant String for releasing a LaTeX indentation with tab stop |
|
setTab :: String |
a constant String to set a tab stop and enable it |
|
setTabWithSpaces :: Int -> String |
function to set up a space based indentation macro |
|
printToken_latex :: (String -> Doc) -> Token -> Doc |
|
printDisplayToken_latex :: (String -> Doc) -> Token -> Doc |
|
printText :: PrettyPrint a => a -> Doc |
printText uses empty global annotations |
|
Produced by Haddock version 0.6 |