hets -- a heterogenous Specification (CASL) tool setContentsIndex
Common.Print_AS_Annotation
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
This module contains all instances of PrettyPrint for AS_Annotation.hs
Synopsis
printAnnotationToken_latex :: Token -> Doc
showPrecRel :: PrecRel -> String
printCommaIds :: GlobalAnnos -> [Id] -> Doc
smallSpace_latex :: Doc
smallComma_latex :: Doc
(<\\+>) :: Doc -> Doc -> Doc
printSmallId_latex :: GlobalAnnos -> Id -> Doc
printGroup :: Doc -> Doc -> Doc
printLatexGroup :: String -> Doc -> Doc
printLine :: Doc -> Doc -> Doc
printLatexLine :: String -> Doc -> Doc
printAnnotationList_Text0 :: GlobalAnnos -> [Annotation] -> Doc
printAnnotationList_Latex0 :: GlobalAnnos -> [Annotation] -> Doc
splitAndPrintRAnnos :: (GlobalAnnos -> Annotation -> Doc) -> (GlobalAnnos -> [Annotation] -> Doc) -> (Doc -> Doc -> Doc) -> Doc -> GlobalAnnos -> [Annotation] -> (Doc, Doc)
hspace_latex :: String -> Doc
Documentation
printAnnotationToken_latex :: Token -> Doc
showPrecRel :: PrecRel -> String
printCommaIds :: GlobalAnnos -> [Id] -> Doc
smallSpace_latex :: Doc
smallComma_latex :: Doc
(<\\+>) :: Doc -> Doc -> Doc
printSmallId_latex :: GlobalAnnos -> Id -> Doc
printGroup :: Doc -> Doc -> Doc
printLatexGroup :: String -> Doc -> Doc
printLine :: Doc -> Doc -> Doc
printLatexLine :: String -> Doc -> Doc
printAnnotationList_Text0 :: GlobalAnnos -> [Annotation] -> Doc
printAnnotationList_Latex0 :: GlobalAnnos -> [Annotation] -> Doc
splitAndPrintRAnnos
:: (GlobalAnnos -> Annotation -> Doc)
-> (GlobalAnnos -> [Annotation] -> Doc)
-> (Doc -> Doc -> Doc)a beside with space like +> or <\+
-> Docfor Latex something to move the label and / or implied annotation to the right margin
-> GlobalAnnos
-> [Annotation]
-> (Doc, Doc)
function to split the annotation to the right of an item * fst contains printed label and implied annotion if any at the begining of the list of annotations * snd contains the remaining annos
hspace_latex :: String -> Doc
makes a hspace*{String} as Doc with appropiate size
Produced by Haddock version 0.6