1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
%-------------------------------= --------------------------------------------
\subsection{Typewriter formatter}
%-------------------------------= --------------------------------------------
%if codeOnly || showModuleHeader
> module Typewriter ( module Typewriter )
> where
>
> import Char
>
> import Verbatim ( trim, expand )
> import Document
> import Directives
> import HsLexer
> import qualified FiniteMap as FM
> import Auxiliaries
%endif
% - - - - - - - - - - - - - - - = - - - - - - - - - - - - - - - - - - - - - - -
\subsubsection{Inline and display code}
% - - - - - - - - - - - - - - - = - - - - - - - - - - - - - - - - - - - - - - -
> inline, display :: Formats -> String -> Either Exc Doc
> inline dict = tokenize
> @> lift (latexs sub'thin sub'thin dict)
> @> lift sub'inline
> display dict = lift trim
> @> lift (expand 0)
> @> tokenize
> @> lift (latexs sub'space sub'nl dict)
> @> lift sub'code
% - - - - - - - - - - - - - - - = - - - - - - - - - - - - - - - - - - - - - - -
\subsubsection{\LaTeX\ encoding}
% - - - - - - - - - - - - - - - = - - - - - - - - - - - - - - - - - - - - - - -
> latexs :: Doc -> Doc -> Formats -> [Token] -> Doc
> latexs sp nl dict = catenate . map (latex sp nl dict)
>
> latex :: Doc -> Doc -> Formats -> Token -> Doc
> latex sp nl dict = tex Empty
> where
> tex _ (Space s) = sub'spaces (convert s)
> tex q (Conid s) = replace q s (sub'conid (q <> convert s))
> tex _ (Varid "") = sub'dummy -- HACK
> tex q (Varid s) = replace q s (sub'varid (q <> convert s))
> tex q (Consym s) = replace q s (sub'consym (q <> convert s))
> tex q (Varsym s) = replace q s (sub'varsym (q <> convert s))
> tex _ (Numeral s) = replace Empty s (sub'numeral (convert s)) -- NEU
> tex _ (Char s) = sub'char (catenate (map conv' (init $ tail s))) -- NEW: remove quotes
> tex _ (String s) = sub'string (catenate (map conv' (init $ tail s))) -- NEW: remove quotes
> tex _ (Special c) = sub'special (replace Empty [c] (conv c))
> tex _ (Comment s) = sub'comment (Embedded s)
> tex _ (Nested s) = sub'nested (Embedded s)
> tex _ (Pragma s) = sub'pragma (Embedded s)
> tex _ (Keyword s) = replace Empty s (sub'keyword (convert s))
> tex _ (TeX d) = d
> tex _ t@(Qual ms t') = replace Empty (string t) (tex (catenate (map (\m -> tex Empty (Conid m) <> Text ".") ms)) t')
> tex _ t@(Op t') = replace Empty (string t) (cmd (conv '`' <> tex Empty t' <> conv '`'))
> where cmd | isConid t'= sub'consym
> | otherwise = sub'varsym
>
> replace q s def = case FM.lookup s dict of
> Just (_, _, [], ts) -> q <> catenate (map (tex Empty) ts)
> _ -> def
\NB the directives @%format a = b@ and @%format b = a@ cause a loop.
\NB Only nullary macros are applied.
Conversion of strings and characters.
> convert :: String -> Doc
> convert s = catenate (map conv s)
> conv :: Char -> Doc
> conv ' ' = sp
> conv '\n' = nl
> conv c
> | c `elem` "#$%&" = Text ("\\" ++ [c])
> | c `elem` "\"\\^_{}~" = Text (char c)
> | otherwise = Text [c]
>
> conv' ' ' = Text "~" -- NEW: instead of |Text (char ' ')| -- for character and string literals
> conv' c = conv c
\NB The character @"@ is not copied verbatim, to be able to use
@german.sty@ (@"@ is made active).
\NB The coding of characters is not independent of the \TeX\ font used,
eg @\/@ appears different in italics and typewriter (@\@ is
\texttt{\char'134} in typewriter, but \textit{\char'134} in italics).
> char :: Char -> String
> char c = "\\char" ++ show (fromEnum c) ++ " "
|
