hets -- a heterogenous Specification (CASL) tool setContentsIndex
Syntax.Print_HetCASL
Portability non-portable (imports existential types)
Stability experimental
Maintainer hets@tzi.de
Description

A module to abstract away GlobalAnnos and such things from the Write-Module.

todo: - use optional argument of renderText and renderLatex for line_length.

Synopsis
data PrintMode
= PMtext
| PMlatex
| PMdebugLatex
printLIB_DEFN_mode :: PrintMode -> GlobalAnnos -> LIB_DEFN -> String
default_latex_line_length :: Maybe Int
printLIB_DEFN_text :: GlobalAnnos -> LIB_DEFN -> String
printLIB_DEFN_latex :: GlobalAnnos -> LIB_DEFN -> String
printLIB_DEFN_debugLatex :: GlobalAnnos -> LIB_DEFN -> String
printText0_eGA :: forall a . PrettyPrint a => a -> Doc
Produced by Haddock version 0.6