hets -- a heterogenous Specification (CASL) tool setContentsIndex
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