summaryrefslogtreecommitdiff
path: root/share/tinykate/syntax/literate-haskell.xml
Unidiff
Diffstat (limited to 'share/tinykate/syntax/literate-haskell.xml') (more/less context) (ignore whitespace changes)
-rw-r--r--share/tinykate/syntax/literate-haskell.xml387
1 files changed, 387 insertions, 0 deletions
diff --git a/share/tinykate/syntax/literate-haskell.xml b/share/tinykate/syntax/literate-haskell.xml
new file mode 100644
index 0000000..14b36be
--- a/dev/null
+++ b/share/tinykate/syntax/literate-haskell.xml
@@ -0,0 +1,387 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE language SYSTEM "language.dtd">
3<!-- literate Haskell syntax highlighting by Marcel Martin <mmar@freenet.de> -->
4<language name="Literate Haskell" version="1.00" kateversion="2.0" section="Sources" extensions="*.lhs">
5 <highlighting>
6 <list name="keywords">
7 <item> case </item>
8 <item> class </item>
9 <item> data </item>
10 <item> deriving </item>
11 <item> do </item>
12 <item> else </item>
13 <item> if </item>
14 <item> in </item>
15 <item> infixl </item>
16 <item> infixr </item>
17 <item> instance </item>
18 <item> let </item>
19 <item> module </item>
20 <item> of </item>
21 <item> primitive </item>
22 <item> then </item>
23 <item> type </item>
24 <item> where </item>
25 </list>
26 <list name="infix operators">
27 <item> quot </item>
28 <item> rem </item>
29 <item> div </item>
30 <item> mod </item>
31 <item> elem </item>
32 <item> notElem </item>
33 <item> seq </item>
34 </list>
35 <list name="functions">
36 <!--
37 These operators are not handled yet.
38 <item> !! </item>
39 <item> % </item>
40 <item> && </item>
41 <item> $! </item>
42 <item> $ </item>
43 <item> * </item>
44 <item> ** </item>
45 <item> - </item>
46 <item> . </item>
47 <item> /= </item>
48 <item> < </item>
49 <item> <= </item>
50 <item> =<< </item>
51 <item> == </item>
52 <item> > </item>
53 <item> >= </item>
54 <item> >> </item>
55 <item> >>= </item>
56 <item> ^ </item>
57 <item> ^^ </item>
58 <item> ++ </item>
59 <item> || </item>
60 //-->
61
62 <item> FilePath </item>
63 <item> IOError </item>
64 <item> abs </item>
65 <item> acos </item>
66 <item> acosh </item>
67 <item> all </item>
68 <item> and </item>
69 <item> any </item>
70 <item> appendFile </item>
71 <item> approxRational </item>
72 <item> asTypeOf </item>
73 <item> asin </item>
74 <item> asinh </item>
75 <item> atan </item>
76 <item> atan2 </item>
77 <item> atanh </item>
78 <item> basicIORun </item>
79 <item> break </item>
80 <item> catch </item>
81 <item> ceiling </item>
82 <item> chr </item>
83 <item> compare </item>
84 <item> concat </item>
85 <item> concatMap </item>
86 <item> const </item>
87 <item> cos </item>
88 <item> cosh </item>
89 <item> curry </item>
90 <item> cycle </item>
91 <item> decodeFloat </item>
92 <item> denominator </item>
93 <item> digitToInt </item>
94 <item> div </item>
95 <item> divMod </item>
96 <item> drop </item>
97 <item> dropWhile </item>
98 <item> either </item>
99 <item> elem </item>
100 <item> encodeFloat </item>
101 <item> enumFrom </item>
102 <item> enumFromThen </item>
103 <item> enumFromThenTo </item>
104 <item> enumFromTo </item>
105 <item> error </item>
106 <item> even </item>
107 <item> exp </item>
108 <item> exponent </item>
109 <item> fail </item>
110 <item> filter </item>
111 <item> flip </item>
112 <item> floatDigits </item>
113 <item> floatRadix </item>
114 <item> floatRange </item>
115 <item> floor </item>
116 <item> fmap </item>
117 <item> foldl </item>
118 <item> foldl1 </item>
119 <item> foldr </item>
120 <item> foldr1 </item>
121 <item> fromDouble </item>
122 <item> fromEnum </item>
123 <item> fromInt </item>
124 <item> fromInteger </item>
125 <item> fromIntegral </item>
126 <item> fromRational </item>
127 <item> fst </item>
128 <item> gcd </item>
129 <item> getChar </item>
130 <item> getContents </item>
131 <item> getLine </item>
132 <item> head </item>
133 <item> id </item>
134 <item> inRange </item>
135 <item> index </item>
136 <item> init </item>
137 <item> intToDigit </item>
138 <item> interact </item>
139 <item> ioError </item>
140 <item> isAlpha </item>
141 <item> isAlphaNum </item>
142 <item> isAscii </item>
143 <item> isControl </item>
144 <item> isDenormalized </item>
145 <item> isDigit </item>
146 <item> isHexDigit </item>
147 <item> isIEEE </item>
148 <item> isInfinite </item>
149 <item> isLower </item>
150 <item> isNaN </item>
151 <item> isNegativeZero </item>
152 <item> isOctDigit </item>
153 <item> isPrint </item>
154 <item> isSpace </item>
155 <item> isUpper </item>
156 <item> iterate </item>
157 <item> last </item>
158 <item> lcm </item>
159 <item> length </item>
160 <item> lex </item>
161 <item> lexDigits </item>
162 <item> lexLitChar </item>
163 <item> lines </item>
164 <item> log </item>
165 <item> logBase </item>
166 <item> lookup </item>
167 <item> map </item>
168 <item> mapM </item>
169 <item> mapM_ </item>
170 <item> max </item>
171 <item> maxBound </item>
172 <item> maximum </item>
173 <item> maybe </item>
174 <item> min </item>
175 <item> minBound </item>
176 <item> minimum </item>
177 <item> mod </item>
178 <item> negate </item>
179 <item> not </item>
180 <item> notElem </item>
181 <item> null </item>
182 <item> numerator </item>
183 <item> odd </item>
184 <item> or </item>
185 <item> ord </item>
186 <item> otherwise </item>
187 <item> pi </item>
188 <item> pred </item>
189 <item> primExitWith </item>
190 <item> print </item>
191 <item> product </item>
192 <item> properFraction </item>
193 <item> putChar </item>
194 <item> putStr </item>
195 <item> putStrLn </item>
196 <item> quot </item>
197 <item> quotRem </item>
198 <item> range </item>
199 <item> rangeSize </item>
200 <item> read </item>
201 <item> readDec </item>
202 <item> readFile </item>
203 <item> readFloat </item>
204 <item> readHex </item>
205 <item> readIO </item>
206 <item> readInt </item>
207 <item> readList </item>
208 <item> readLitChar </item>
209 <item> readLn </item>
210 <item> readOct </item>
211 <item> readParen </item>
212 <item> readSigned </item>
213 <item> reads </item>
214 <item> readsPrec </item>
215 <item> realToFrac </item>
216 <item> recip </item>
217 <item> rem </item>
218 <item> repeat </item>
219 <item> replicate </item>
220 <item> return </item>
221 <item> reverse </item>
222 <item> round </item>
223 <item> scaleFloat </item>
224 <item> scanl </item>
225 <item> scanl1 </item>
226 <item> scanr </item>
227 <item> scanr1 </item>
228 <item> seq </item>
229 <item> sequence </item>
230 <item> sequence_ </item>
231 <item> show </item>
232 <item> showChar </item>
233 <item> showInt </item>
234 <item> showList </item>
235 <item> showLitChar </item>
236 <item> showParen </item>
237 <item> showSigned </item>
238 <item> showString </item>
239 <item> shows </item>
240 <item> showsPrec </item>
241 <item> significand </item>
242 <item> signum </item>
243 <item> sin </item>
244 <item> sinh </item>
245 <item> snd </item>
246 <item> span </item>
247 <item> splitAt </item>
248 <item> sqrt </item>
249 <item> subtract </item>
250 <item> succ </item>
251 <item> sum </item>
252 <item> tail </item>
253 <item> take </item>
254 <item> takeWhile </item>
255 <item> tan </item>
256 <item> tanh </item>
257 <item> threadToIOResult </item>
258 <item> toEnum </item>
259 <item> toInt </item>
260 <item> toInteger </item>
261 <item> toLower </item>
262 <item> toRational </item>
263 <item> toUpper </item>
264 <item> truncate </item>
265 <item> uncurry </item>
266 <item> undefined </item>
267 <item> unlines </item>
268 <item> until </item>
269 <item> unwords </item>
270 <item> unzip </item>
271 <item> unzip3 </item>
272 <item> userError </item>
273 <item> words </item>
274 <item> writeFile </item>
275 <item> zip </item>
276 <item> zip3 </item>
277 <item> zipWith </item>
278 <item> zipWith3 </item>
279 </list>
280 <list name="type constructors">
281 <item> Bool </item>
282 <item> Char </item>
283 <item> Double </item>
284 <item> Either </item>
285 <item> Float </item>
286 <item> IO </item>
287 <item> Integer </item>
288 <item> Int </item>
289 <item> Maybe </item>
290 <item> Ordering </item>
291 <item> Rational </item>
292 <item> Ratio </item>
293 <item> ReadS </item>
294 <item> ShowS </item>
295 <item> String </item>
296
297 </list>
298 <list name="classes">
299 <item> Bounded </item>
300 <item> Enum </item>
301 <item> Eq </item>
302 <item> Floating </item>
303 <item> Fractional </item>
304 <item> Functor </item>
305 <item> Integral </item>
306 <item> Ix </item>
307 <item> Monad </item>
308 <item> Num </item>
309 <item> Ord </item>
310 <item> Read </item>
311 <item> RealFloat </item>
312 <item> RealFrac </item>
313 <item> Real </item>
314 <item> Show </item>
315 </list>
316 <list name="data constructors">
317 <item> EQ </item>
318 <item> False </item>
319 <item> GT </item>
320 <item> Just </item>
321 <item> LT </item>
322 <item> Left </item>
323 <item> Nothing </item>
324 <item> Right </item>
325 <item> True </item>
326 </list>
327 <contexts>
328 <context attribute="Comment" lineEndContext="#stay" name="literate-normal">
329 <RegExpr attribute="Special" context="normal" String="^&gt;\s*" />
330 </context>
331 <context attribute="Normal Text" lineEndContext="literate-normal" name="normal">
332 <Detect2Chars attribute="Comment" context="comment_multi_line" char="{" char1="-" />
333 <Detect2Chars attribute="Comment" context="comment_single_line" char="-" char1="-" />
334 <keyword attribute="Keyword" context="#stay" String="keywords" />
335 <keyword attribute="Class" context="#stay" String="classes" />
336 <keyword attribute="Type Constructor" context="#stay" String="type constructors" />
337 <keyword attribute="Function" context="#stay" String="functions" />
338 <keyword attribute="Data Constructor" context="#stay" String="data constructors" />
339 <DetectChar attribute="String" context="string" char="&quot;" />
340 <DetectChar attribute="Infix Operator" context="infix" char="`"/>
341 <RegExpr attribute="Normal Text" context="#stay" String="[A-Za-z0-9_][']+" />
342 <DetectChar attribute="Char" context="single_char" char="'" />
343 <RegExpr attribute="Function Definition" context="#stay" String="\s*[a-z_]+[A-Za-z_0-9]*'*\s*::" />
344 <Float attribute="Float" context="#stay" />
345 <Int attribute="Decimal" context="#stay" />
346 </context>
347 <context attribute="Comment" lineEndContext="#pop" name="comment_single_line" />
348 <context attribute="Comment" lineEndContext="#stay" name="comment_multi_line">
349 <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" />
350 </context>
351 <context attribute="String" lineEndContext="#stay" name="string">
352 <RegExpr attribute="String" context="#stay" String="\\." />
353 <DetectChar attribute="String" context="#pop" char="&quot;" />
354 </context>
355 <context attribute="Infix Operator" lineEndContext="#stay" name="infix">
356 <DetectChar attribute="Infix Operator" context="#pop" char="`"/>
357 </context>
358 <context attribute="Char" lineEndContext="#pop" name="single_char">
359 <RegExpr attribute="Char" context="#stay" String="\\." />
360 <DetectChar attribute="Char" context="#pop" char="'" />
361 </context>
362 <context attribute="Function Definition" lineEndContext="#pop" name="function_definition">
363 <DetectChar attribute="Function Definition" context="#pop" char=";" />
364 </context>
365 </contexts>
366 <itemDatas>
367 <itemData name="Normal Text" defStyleNum="dsNormal"/>
368 <itemData name="Keyword" defStyleNum="dsKeyword"/>
369 <itemData name="Function" defStyleNum="dsOthers"/>
370 <itemData name="Function Definition"defStyleNum="dsOthers"/>
371 <itemData name="Class" defStyleNum="dsKeyword"/>
372 <itemData name="Decimal" defStyleNum="dsDecVal"/>
373 <itemData name="Float" defStyleNum="dsFloat"/>
374 <itemData name="Char" defStyleNum="dsChar"/>
375 <itemData name="String" defStyleNum="dsString"/>
376 <itemData name="Constructor" defStyleNum="dsOthers"/>
377 <itemData name="Comment" defStyleNum="dsComment"/>
378 <itemData name="Data Constructor"defStyleNum="dsKeyword"/>
379 <itemData name="Type Constructor"defStyleNum="dsDataType"/>
380 <itemData name="Infix Operator" defStyleNum="dsOthers"/>
381 <itemData name="Special" defStyleNum="dsChar"/>
382 </itemDatas>
383 </highlighting>
384 <general>
385 <keywords casesensitive="1" />
386 </general>
387</language>