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

showPretty :: PrettyPrint a => a -> ShowS renderLatex :: Maybe Int -> Doc -> String debugRenderLatex :: Maybe Int -> Doc -> String renderText :: Maybe Int -> Doc -> String class Show a => PrettyPrint a where printLatex0 :: GlobalAnnos -> a -> Doc printText0 :: GlobalAnnos -> a -> Doc renderLatexVerb :: Maybe Int -> Doc -> String startTab :: String endTab :: String setTab :: String setTabWithSpaces :: Int -> String printToken_latex :: (String -> Doc) -> Token -> Doc printDisplayToken_latex :: (String -> Doc) -> Token -> Doc printText :: PrettyPrint a => a -> Doc

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

Methods printLatex0 :: GlobalAnnos -> a -> Doc printText0 :: GlobalAnnos -> a -> Doc Instances PrettyPrint Symbol PrettyPrint SymbType PrettyPrint Kind PrettyPrint RawSymbol PrettyPrint Morphism PrettyPrint BASIC_SPEC PrettyPrint BASIC_ITEMS PrettyPrint SIG_ITEMS PrettyPrint SORT_ITEM PrettyPrint OP_ITEM PrettyPrint OP_TYPE PrettyPrint OP_HEAD PrettyPrint ARG_DECL PrettyPrint OP_ATTR PrettyPrint PRED_ITEM PrettyPrint PRED_TYPE PrettyPrint PRED_HEAD PrettyPrint DATATYPE_DECL PrettyPrint ALTERNATIVE PrettyPrint COMPONENTS PrettyPrint VAR_DECL PrettyPrint FORMULA PrettyPrint QUANTIFIER PrettyPrint PRED_SYMB PrettyPrint TERM PrettyPrint OP_SYMB PrettyPrint SYMB_ITEMS PrettyPrint SYMB_ITEMS_LIST PrettyPrint SYMB_MAP_ITEMS PrettyPrint SYMB_MAP_ITEMS_LIST PrettyPrint SYMB_KIND PrettyPrint SYMB PrettyPrint TYPE PrettyPrint SYMB_OR_MAP PrettyPrint OpType PrettyPrint PredType PrettyPrint Sign PrettyPrint Component PrettyPrint GlobalAnnos PrettyPrint s => PrettyPrint (Named s) PrettyPrint WrapString PrettyPrint a => PrettyPrint [a] PrettyPrint a => PrettyPrint (Set a) (PrettyPrint k, PrettyPrint a) => PrettyPrint (Map k a) (PrettyPrint a, PrettyPrint b) => PrettyPrint (a, b) PrettyPrint Bool PrettyPrint Int PrettyPrint Token PrettyPrint Id PrettyPrint () PrettyPrint Annotation PrettyPrint a => PrettyPrint (Annoted a) PrettyPrint Diagnosis PrettyPrint a => PrettyPrint (Result a) PrettyPrint C3PO PrettyPrint NAMED_CSP_CASL_C_SPEC PrettyPrint CSP_CASL_C_SPEC PrettyPrint Basic_CSP_CASL_C_SPEC PrettyPrint SymbolType PrettyPrint Morphism PrettyPrint Symbol PrettyPrint RawSymbol PrettyPrint Variance PrettyPrint Kind PrettyPrint TypePattern PrettyPrint Type PrettyPrint Pred PrettyPrint t => PrettyPrint (Qual t) PrettyPrint TypeScheme PrettyPrint Partiality PrettyPrint Arrow PrettyPrint Quantifier PrettyPrint TypeQual PrettyPrint Term PrettyPrint Pattern PrettyPrint VarDecl PrettyPrint GenVarDecl PrettyPrint TypeArg PrettyPrint InstOpId PrettyPrint BasicSpec PrettyPrint ProgEq PrettyPrint BasicItem PrettyPrint OpBrand PrettyPrint SigItems PrettyPrint Instance PrettyPrint ClassItem PrettyPrint ClassDecl PrettyPrint Vars PrettyPrint TypeItem PrettyPrint OpItem PrettyPrint BinOpAttr PrettyPrint OpAttr PrettyPrint DatatypeDecl PrettyPrint Alternative PrettyPrint Component PrettyPrint OpId PrettyPrint ClassInfo PrettyPrint TypeDefn PrettyPrint AltDefn PrettyPrint Selector PrettyPrint TypeInfo PrettyPrint ConstrInfo PrettyPrint OpDefn PrettyPrint OpInfo PrettyPrint OpInfos PrettyPrint a => PrettyPrint (Maybe a) PrettyPrint Env PrettyPrint Symb PrettyPrint SymbItems PrettyPrint SymbOrMap PrettyPrint SymbMapItems PrettyPrint ModuleInfo PrettyPrint HsDecls PrettyPrint G_basic_spec PrettyPrint G_sign PrettyPrint G_ext_sign PrettyPrint G_symb_items_list PrettyPrint G_symb_map_items_list PrettyPrint GMorphism PrettyPrint NodeSig PrettyPrint ExtNodeSig PrettyPrint DGOrigin PrettyPrint ARCH_SPEC PrettyPrint UNIT_DECL_DEFN PrettyPrint UNIT_SPEC PrettyPrint UNIT_EXPRESSION PrettyPrint UNIT_BINDING PrettyPrint UNIT_TERM PrettyPrint FIT_ARG_UNIT PrettyPrint LIB_DEFN PrettyPrint LIB_ITEM PrettyPrint ITEM_NAME_OR_MAP PrettyPrint LIB_NAME PrettyPrint LIB_ID PrettyPrint VERSION_NUMBER PrettyPrint SPEC PrettyPrint RENAMING PrettyPrint RESTRICTION PrettyPrint G_mapping PrettyPrint G_hiding PrettyPrint GENERICITY PrettyPrint PARAMS PrettyPrint IMPORTED PrettyPrint FIT_ARG PrettyPrint Logic_code PrettyPrint Logic_name

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