Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe-Inferred



Auxiliary functions for LaTeX printing

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



calcLineLen :: Int -> Int

functions for calculating an integer value according to a given length in LaTeX points.

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 }

flushright :: Doc -> Doc

flush argument doc to the right

hc_sty_casl_keyword :: String -> Doc

sort, op, pred, type and its plurals

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

setTabWSp :: String

a constant String indicating the start of a space based indentation

startAnno :: String

a constant String for the start of annotations

endAnno :: String

a constant string ending an annotation