 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
| Common.LaTeX_funs | | Portability | portable | | Stability | provisional | | Maintainer | hets@tzi.de |
|
|
|
|
|
| Description |
Functions to calculate the length of a given word as it would be
printed with LaTeX according to one of four categories of words
useful for CASL:
- keywords -- all the things that were printed in boldface
- structid -- all the names used in the structured context of CASL
- annotation -- all the comments and annotations of CASL in a smaller font
- axiom -- identifiers in math mode for CASL Basic specs
TODO:
- itCorrection should be based on a map of character pairs to
corrections and not on one fixed value for every pair
|
|
| Synopsis |
|
|
|
| Documentation |
|
| space_latex_width :: Int |
|
| calc_line_length :: String -> Int |
|
| pt_length :: Int -> String |
|
| keyword_width :: String -> Int |
|
| structid_width :: String -> Int |
|
| axiom_width :: String -> Int |
|
| annotation_width :: String -> Int |
|
| annotationbf_width :: String -> Int |
|
| comment_width :: String -> Int |
|
| normal_width :: String -> Int |
|
| escape_latex :: String -> String |
|
| escape_comment_latex :: String -> String |
|
| (<\+>) :: Doc -> Doc -> Doc |
| LaTeX version of + with enough space counted. It's choosen the
space between keywords which is nearly the average width of a
space. |
|
| (<~>) :: Doc -> Doc -> Doc |
|
| latex_macro :: String -> Doc |
| latex_macro creates a document (Doc) containing String
that has a zero width.
So it can be used for LaTeX-macros not needing any space, i.e.
textit{ or } |
|
| comma_latex :: Doc |
|
| semi_latex :: Doc |
|
| colon_latex :: Doc |
|
| equals_latex :: Doc |
|
| space_latex :: Doc |
|
| braces_latex :: Doc -> Doc |
|
| parens_latex :: Doc -> Doc |
|
| brackets_latex :: Doc -> Doc |
|
| quotes_latex :: Doc -> Doc |
|
| nest_latex :: Int -> Doc -> Doc |
|
| hang_latex :: Doc -> Int -> Doc -> Doc |
|
| sep_latex :: [Doc] -> Doc |
|
| fsep_latex :: [Doc] -> Doc |
|
| initial_keyword_latex :: String -> String -> Doc |
|
| casl_keyword_latex :: String -> Doc |
|
| casl_annotation_latex :: String -> Doc |
|
| casl_annotationbf_latex :: String -> Doc |
|
| casl_axiom_latex :: String -> Doc |
|
| casl_comment_latex :: String -> Doc |
|
| casl_structid_latex :: String -> Doc |
|
| casl_normal_latex :: String -> Doc |
|
| hc_sty_keyword :: Maybe String -> String -> Doc |
|
| hc_sty_small_keyword :: String -> Doc |
|
| hc_sty_plain_keyword :: String -> Doc |
|
| hc_sty_hetcasl_keyword :: String -> Doc |
|
| hc_sty_comment :: Doc -> Doc |
|
| hc_sty_annotation :: Doc -> Doc |
|
| hc_sty_axiom :: String -> Doc |
|
| hc_sty_structid :: String -> Doc |
|
| hc_sty_structid_indexed :: String -> Doc |
|
| hc_sty_id :: String -> Doc |
|
| startAnno :: String |
| a constant String for the start of annotations |
|
| endAnno :: String |
| a constant string ending an annotation |
|
| Produced by Haddock version 0.6 |