Copyright	(c) Klaus Luettich, Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

Common.LaTeX_funs

Description

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

Synopsis

Documentation

calcLineLen :: Int -> Int

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

axiom_width :: String -> Int

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

casl_comment_latex :: String -> Doc

casl_normal_latex :: String -> Doc

hc_sty_small_keyword :: String -> Doc

hc_sty_plain_keyword :: String -> Doc

hc_sty_casl_keyword :: String -> Doc

sort, op, pred, type and its plurals

hc_sty_axiom :: String -> Doc

hc_sty_structid :: String -> Doc

hc_sty_structid_indexed :: String -> Doc

hc_sty_id :: String -> Doc