author | mickeyl <mickeyl> | 2003-01-24 21:13:38 (UTC) |
---|---|---|
committer | mickeyl <mickeyl> | 2003-01-24 21:13:38 (UTC) |
commit | f5fa70864c66da0f12f3d34f6451c74e3bfb3103 (patch) (unidiff) | |
tree | ad6585cc10ba3397bed82c87a1b692fa0a4b9e43 /share/tinykate/syntax/literate-haskell.xml | |
parent | 67699ef8fd807a99c08d6401a67e8000bca8f1ca (diff) | |
download | opie-f5fa70864c66da0f12f3d34f6451c74e3bfb3103.zip opie-f5fa70864c66da0f12f3d34f6451c74e3bfb3103.tar.gz opie-f5fa70864c66da0f12f3d34f6451c74e3bfb3103.tar.bz2 |
added syntax highlighting patterns to tinykate
Diffstat (limited to 'share/tinykate/syntax/literate-haskell.xml') (more/less context) (show whitespace changes)
-rw-r--r-- | share/tinykate/syntax/literate-haskell.xml | 387 |
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="^>\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=""" /> | ||
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=""" /> | ||
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> | ||