 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
| Common.Print_AS_Annotation |
|
| 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 |
| :: (GlobalAnnos -> Annotation -> Doc) | |
| -> (GlobalAnnos -> [Annotation] -> Doc) | |
| -> (Doc -> Doc -> Doc) | a beside with space like +> or <\+ |
| -> Doc | for 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 | |