ll-plus 2.10.24 → 2.10.25

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (191) hide show
  1. package/package.json +1 -1
  2. package/theme-chalk/code-editor-vue3/addon/comment/comment.js +211 -0
  3. package/theme-chalk/code-editor-vue3/addon/comment/continuecomment.js +114 -0
  4. package/theme-chalk/code-editor-vue3/addon/dialog/dialog.css +32 -0
  5. package/theme-chalk/code-editor-vue3/addon/dialog/dialog.js +163 -0
  6. package/theme-chalk/code-editor-vue3/addon/display/autorefresh.js +47 -0
  7. package/theme-chalk/code-editor-vue3/addon/display/fullscreen.css +6 -0
  8. package/theme-chalk/code-editor-vue3/addon/display/fullscreen.js +41 -0
  9. package/theme-chalk/code-editor-vue3/addon/display/panel.js +133 -0
  10. package/theme-chalk/code-editor-vue3/addon/display/placeholder.js +78 -0
  11. package/theme-chalk/code-editor-vue3/addon/display/rulers.js +51 -0
  12. package/theme-chalk/code-editor-vue3/addon/edit/closebrackets.js +201 -0
  13. package/theme-chalk/code-editor-vue3/addon/edit/closetag.js +185 -0
  14. package/theme-chalk/code-editor-vue3/addon/edit/continuelist.js +101 -0
  15. package/theme-chalk/code-editor-vue3/addon/edit/matchbrackets.js +160 -0
  16. package/theme-chalk/code-editor-vue3/addon/edit/matchtags.js +66 -0
  17. package/theme-chalk/code-editor-vue3/addon/edit/trailingspace.js +27 -0
  18. package/theme-chalk/code-editor-vue3/addon/fold/brace-fold.js +119 -0
  19. package/theme-chalk/code-editor-vue3/addon/fold/comment-fold.js +59 -0
  20. package/theme-chalk/code-editor-vue3/addon/fold/foldcode.js +159 -0
  21. package/theme-chalk/code-editor-vue3/addon/fold/foldgutter.css +20 -0
  22. package/theme-chalk/code-editor-vue3/addon/fold/foldgutter.js +169 -0
  23. package/theme-chalk/code-editor-vue3/addon/fold/indent-fold.js +48 -0
  24. package/theme-chalk/code-editor-vue3/addon/fold/markdown-fold.js +49 -0
  25. package/theme-chalk/code-editor-vue3/addon/fold/xml-fold.js +184 -0
  26. package/theme-chalk/code-editor-vue3/addon/hint/anyword-hint.js +41 -0
  27. package/theme-chalk/code-editor-vue3/addon/hint/css-hint.js +66 -0
  28. package/theme-chalk/code-editor-vue3/addon/hint/html-hint.js +351 -0
  29. package/theme-chalk/code-editor-vue3/addon/hint/javascript-hint.js +162 -0
  30. package/theme-chalk/code-editor-vue3/addon/hint/show-hint.css +37 -0
  31. package/theme-chalk/code-editor-vue3/addon/hint/show-hint.js +523 -0
  32. package/theme-chalk/code-editor-vue3/addon/hint/sql-hint.js +304 -0
  33. package/theme-chalk/code-editor-vue3/addon/hint/xml-hint.js +132 -0
  34. package/theme-chalk/code-editor-vue3/addon/lint/coffeescript-lint.js +47 -0
  35. package/theme-chalk/code-editor-vue3/addon/lint/css-lint.js +40 -0
  36. package/theme-chalk/code-editor-vue3/addon/lint/html-lint.js +59 -0
  37. package/theme-chalk/code-editor-vue3/addon/lint/javascript-lint.js +65 -0
  38. package/theme-chalk/code-editor-vue3/addon/lint/json-lint.js +40 -0
  39. package/theme-chalk/code-editor-vue3/addon/lint/lint.css +79 -0
  40. package/theme-chalk/code-editor-vue3/addon/lint/lint.js +288 -0
  41. package/theme-chalk/code-editor-vue3/addon/lint/yaml-lint.js +41 -0
  42. package/theme-chalk/code-editor-vue3/addon/merge/merge.css +119 -0
  43. package/theme-chalk/code-editor-vue3/addon/merge/merge.js +1018 -0
  44. package/theme-chalk/code-editor-vue3/addon/mode/loadmode.js +66 -0
  45. package/theme-chalk/code-editor-vue3/addon/mode/multiplex.js +136 -0
  46. package/theme-chalk/code-editor-vue3/addon/mode/multiplex_test.js +49 -0
  47. package/theme-chalk/code-editor-vue3/addon/mode/overlay.js +90 -0
  48. package/theme-chalk/code-editor-vue3/addon/mode/simple.js +216 -0
  49. package/theme-chalk/code-editor-vue3/addon/runmode/colorize.js +40 -0
  50. package/theme-chalk/code-editor-vue3/addon/runmode/runmode-standalone.js +334 -0
  51. package/theme-chalk/code-editor-vue3/addon/runmode/runmode.js +76 -0
  52. package/theme-chalk/code-editor-vue3/addon/runmode/runmode.node.js +329 -0
  53. package/theme-chalk/code-editor-vue3/addon/scroll/annotatescrollbar.js +128 -0
  54. package/theme-chalk/code-editor-vue3/addon/scroll/scrollpastend.js +48 -0
  55. package/theme-chalk/code-editor-vue3/addon/scroll/simplescrollbars.css +66 -0
  56. package/theme-chalk/code-editor-vue3/addon/scroll/simplescrollbars.js +152 -0
  57. package/theme-chalk/code-editor-vue3/addon/search/jump-to-line.js +53 -0
  58. package/theme-chalk/code-editor-vue3/addon/search/match-highlighter.js +167 -0
  59. package/theme-chalk/code-editor-vue3/addon/search/matchesonscrollbar.css +8 -0
  60. package/theme-chalk/code-editor-vue3/addon/search/matchesonscrollbar.js +97 -0
  61. package/theme-chalk/code-editor-vue3/addon/search/search.js +295 -0
  62. package/theme-chalk/code-editor-vue3/addon/search/searchcursor.js +305 -0
  63. package/theme-chalk/code-editor-vue3/addon/selection/active-line.js +72 -0
  64. package/theme-chalk/code-editor-vue3/addon/selection/mark-selection.js +119 -0
  65. package/theme-chalk/code-editor-vue3/addon/selection/selection-pointer.js +98 -0
  66. package/theme-chalk/code-editor-vue3/addon/tern/tern.css +87 -0
  67. package/theme-chalk/code-editor-vue3/addon/tern/tern.js +756 -0
  68. package/theme-chalk/code-editor-vue3/addon/tern/worker.js +44 -0
  69. package/theme-chalk/code-editor-vue3/addon/wrap/hardwrap.js +160 -0
  70. package/theme-chalk/code-editor-vue3/lib/codemirror.css +344 -0
  71. package/theme-chalk/code-editor-vue3/lib/codemirror.js +9884 -0
  72. package/theme-chalk/code-editor-vue3/mode/apl/apl.js +174 -0
  73. package/theme-chalk/code-editor-vue3/mode/asciiarmor/asciiarmor.js +74 -0
  74. package/theme-chalk/code-editor-vue3/mode/asn.1/asn.1.js +204 -0
  75. package/theme-chalk/code-editor-vue3/mode/asterisk/asterisk.js +220 -0
  76. package/theme-chalk/code-editor-vue3/mode/brainfuck/brainfuck.js +85 -0
  77. package/theme-chalk/code-editor-vue3/mode/clike/clike.js +942 -0
  78. package/theme-chalk/code-editor-vue3/mode/clojure/clojure.js +293 -0
  79. package/theme-chalk/code-editor-vue3/mode/cmake/cmake.js +97 -0
  80. package/theme-chalk/code-editor-vue3/mode/cobol/cobol.js +255 -0
  81. package/theme-chalk/code-editor-vue3/mode/coffeescript/coffeescript.js +359 -0
  82. package/theme-chalk/code-editor-vue3/mode/commonlisp/commonlisp.js +125 -0
  83. package/theme-chalk/code-editor-vue3/mode/crystal/crystal.js +433 -0
  84. package/theme-chalk/code-editor-vue3/mode/cypher/cypher.js +152 -0
  85. package/theme-chalk/code-editor-vue3/mode/d/d.js +223 -0
  86. package/theme-chalk/code-editor-vue3/mode/dart/dart.js +168 -0
  87. package/theme-chalk/code-editor-vue3/mode/diff/diff.js +47 -0
  88. package/theme-chalk/code-editor-vue3/mode/django/django.js +356 -0
  89. package/theme-chalk/code-editor-vue3/mode/dockerfile/dockerfile.js +211 -0
  90. package/theme-chalk/code-editor-vue3/mode/dtd/dtd.js +142 -0
  91. package/theme-chalk/code-editor-vue3/mode/dylan/dylan.js +352 -0
  92. package/theme-chalk/code-editor-vue3/mode/ebnf/ebnf.js +195 -0
  93. package/theme-chalk/code-editor-vue3/mode/ecl/ecl.js +206 -0
  94. package/theme-chalk/code-editor-vue3/mode/eiffel/eiffel.js +160 -0
  95. package/theme-chalk/code-editor-vue3/mode/elm/elm.js +245 -0
  96. package/theme-chalk/code-editor-vue3/mode/erlang/erlang.js +619 -0
  97. package/theme-chalk/code-editor-vue3/mode/factor/factor.js +85 -0
  98. package/theme-chalk/code-editor-vue3/mode/fcl/fcl.js +173 -0
  99. package/theme-chalk/code-editor-vue3/mode/forth/forth.js +180 -0
  100. package/theme-chalk/code-editor-vue3/mode/fortran/fortran.js +188 -0
  101. package/theme-chalk/code-editor-vue3/mode/gas/gas.js +353 -0
  102. package/theme-chalk/code-editor-vue3/mode/gfm/gfm.js +129 -0
  103. package/theme-chalk/code-editor-vue3/mode/gherkin/gherkin.js +178 -0
  104. package/theme-chalk/code-editor-vue3/mode/go/go.js +187 -0
  105. package/theme-chalk/code-editor-vue3/mode/groovy/groovy.js +245 -0
  106. package/theme-chalk/code-editor-vue3/mode/haml/haml.js +161 -0
  107. package/theme-chalk/code-editor-vue3/mode/handlebars/handlebars.js +70 -0
  108. package/theme-chalk/code-editor-vue3/mode/haskell/haskell.js +268 -0
  109. package/theme-chalk/code-editor-vue3/mode/haskell-literate/haskell-literate.js +43 -0
  110. package/theme-chalk/code-editor-vue3/mode/haxe/haxe.js +515 -0
  111. package/theme-chalk/code-editor-vue3/mode/htmlmixed/htmlmixed.js +153 -0
  112. package/theme-chalk/code-editor-vue3/mode/http/http.js +113 -0
  113. package/theme-chalk/code-editor-vue3/mode/idl/idl.js +290 -0
  114. package/theme-chalk/code-editor-vue3/mode/jinja2/jinja2.js +193 -0
  115. package/theme-chalk/code-editor-vue3/mode/julia/julia.js +390 -0
  116. package/theme-chalk/code-editor-vue3/mode/livescript/livescript.js +280 -0
  117. package/theme-chalk/code-editor-vue3/mode/lua/lua.js +160 -0
  118. package/theme-chalk/code-editor-vue3/mode/markdown/markdown.js +886 -0
  119. package/theme-chalk/code-editor-vue3/mode/mathematica/mathematica.js +176 -0
  120. package/theme-chalk/code-editor-vue3/mode/mbox/mbox.js +129 -0
  121. package/theme-chalk/code-editor-vue3/mode/meta.js +221 -0
  122. package/theme-chalk/code-editor-vue3/mode/mirc/mirc.js +193 -0
  123. package/theme-chalk/code-editor-vue3/mode/mllike/mllike.js +359 -0
  124. package/theme-chalk/code-editor-vue3/mode/modelica/modelica.js +245 -0
  125. package/theme-chalk/code-editor-vue3/mode/mscgen/mscgen.js +175 -0
  126. package/theme-chalk/code-editor-vue3/mode/mumps/mumps.js +148 -0
  127. package/theme-chalk/code-editor-vue3/mode/nginx/nginx.js +178 -0
  128. package/theme-chalk/code-editor-vue3/mode/nsis/nsis.js +95 -0
  129. package/theme-chalk/code-editor-vue3/mode/ntriples/ntriples.js +195 -0
  130. package/theme-chalk/code-editor-vue3/mode/octave/octave.js +139 -0
  131. package/theme-chalk/code-editor-vue3/mode/oz/oz.js +252 -0
  132. package/theme-chalk/code-editor-vue3/mode/pascal/pascal.js +136 -0
  133. package/theme-chalk/code-editor-vue3/mode/pegjs/pegjs.js +111 -0
  134. package/theme-chalk/code-editor-vue3/mode/perl/perl.js +836 -0
  135. package/theme-chalk/code-editor-vue3/mode/php/php.js +234 -0
  136. package/theme-chalk/code-editor-vue3/mode/pig/pig.js +178 -0
  137. package/theme-chalk/code-editor-vue3/mode/powershell/powershell.js +398 -0
  138. package/theme-chalk/code-editor-vue3/mode/properties/properties.js +78 -0
  139. package/theme-chalk/code-editor-vue3/mode/protobuf/protobuf.js +72 -0
  140. package/theme-chalk/code-editor-vue3/mode/pug/pug.js +591 -0
  141. package/theme-chalk/code-editor-vue3/mode/puppet/puppet.js +220 -0
  142. package/theme-chalk/code-editor-vue3/mode/python/python.js +402 -0
  143. package/theme-chalk/code-editor-vue3/mode/q/q.js +139 -0
  144. package/theme-chalk/code-editor-vue3/mode/r/r.js +190 -0
  145. package/theme-chalk/code-editor-vue3/mode/rpm/changes/index.html +66 -0
  146. package/theme-chalk/code-editor-vue3/mode/rpm/rpm.js +109 -0
  147. package/theme-chalk/code-editor-vue3/mode/rst/rst.js +557 -0
  148. package/theme-chalk/code-editor-vue3/mode/ruby/ruby.js +303 -0
  149. package/theme-chalk/code-editor-vue3/mode/rust/rust.js +72 -0
  150. package/theme-chalk/code-editor-vue3/mode/sas/sas.js +303 -0
  151. package/theme-chalk/code-editor-vue3/mode/sass/sass.js +459 -0
  152. package/theme-chalk/code-editor-vue3/mode/scheme/scheme.js +284 -0
  153. package/theme-chalk/code-editor-vue3/mode/shell/shell.js +168 -0
  154. package/theme-chalk/code-editor-vue3/mode/sieve/sieve.js +193 -0
  155. package/theme-chalk/code-editor-vue3/mode/slim/slim.js +575 -0
  156. package/theme-chalk/code-editor-vue3/mode/smalltalk/smalltalk.js +168 -0
  157. package/theme-chalk/code-editor-vue3/mode/smarty/smarty.js +225 -0
  158. package/theme-chalk/code-editor-vue3/mode/solr/solr.js +104 -0
  159. package/theme-chalk/code-editor-vue3/mode/soy/soy.js +665 -0
  160. package/theme-chalk/code-editor-vue3/mode/sparql/sparql.js +184 -0
  161. package/theme-chalk/code-editor-vue3/mode/spreadsheet/spreadsheet.js +112 -0
  162. package/theme-chalk/code-editor-vue3/mode/sql/sql.js +525 -0
  163. package/theme-chalk/code-editor-vue3/mode/stex/stex.js +264 -0
  164. package/theme-chalk/code-editor-vue3/mode/stylus/stylus.js +775 -0
  165. package/theme-chalk/code-editor-vue3/mode/swift/swift.js +221 -0
  166. package/theme-chalk/code-editor-vue3/mode/tcl/tcl.js +140 -0
  167. package/theme-chalk/code-editor-vue3/mode/textile/textile.js +469 -0
  168. package/theme-chalk/code-editor-vue3/mode/tiddlywiki/tiddlywiki.css +14 -0
  169. package/theme-chalk/code-editor-vue3/mode/tiddlywiki/tiddlywiki.js +308 -0
  170. package/theme-chalk/code-editor-vue3/mode/tiki/tiki.css +26 -0
  171. package/theme-chalk/code-editor-vue3/mode/tiki/tiki.js +312 -0
  172. package/theme-chalk/code-editor-vue3/mode/toml/toml.js +88 -0
  173. package/theme-chalk/code-editor-vue3/mode/tornado/tornado.js +68 -0
  174. package/theme-chalk/code-editor-vue3/mode/troff/troff.js +84 -0
  175. package/theme-chalk/code-editor-vue3/mode/ttcn/ttcn.js +283 -0
  176. package/theme-chalk/code-editor-vue3/mode/ttcn-cfg/ttcn-cfg.js +214 -0
  177. package/theme-chalk/code-editor-vue3/mode/turtle/turtle.js +162 -0
  178. package/theme-chalk/code-editor-vue3/mode/twig/twig.js +141 -0
  179. package/theme-chalk/code-editor-vue3/mode/vb/vb.js +275 -0
  180. package/theme-chalk/code-editor-vue3/mode/vbscript/vbscript.js +350 -0
  181. package/theme-chalk/code-editor-vue3/mode/velocity/velocity.js +202 -0
  182. package/theme-chalk/code-editor-vue3/mode/verilog/verilog.js +781 -0
  183. package/theme-chalk/code-editor-vue3/mode/vhdl/vhdl.js +189 -0
  184. package/theme-chalk/code-editor-vue3/mode/wast/wast.js +132 -0
  185. package/theme-chalk/code-editor-vue3/mode/webidl/webidl.js +195 -0
  186. package/theme-chalk/code-editor-vue3/mode/xml/xml.js +417 -0
  187. package/theme-chalk/code-editor-vue3/mode/xquery/xquery.js +448 -0
  188. package/theme-chalk/code-editor-vue3/mode/yacas/yacas.js +204 -0
  189. package/theme-chalk/code-editor-vue3/mode/yaml/yaml.js +120 -0
  190. package/theme-chalk/code-editor-vue3/mode/yaml-frontmatter/yaml-frontmatter.js +72 -0
  191. package/theme-chalk/code-editor-vue3/mode/z80/z80.js +116 -0
@@ -0,0 +1,268 @@
1
+ // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
+ // Distributed under an MIT license: https://codemirror.net/5/LICENSE
3
+
4
+ (function(mod) {
5
+ if (typeof exports == "object" && typeof module == "object") // CommonJS
6
+ mod(require("../../lib/codemirror"));
7
+ else if (typeof define == "function" && define.amd) // AMD
8
+ define(["../../lib/codemirror"], mod);
9
+ else // Plain browser env
10
+ mod(CodeMirror);
11
+ })(function(CodeMirror) {
12
+ "use strict";
13
+
14
+ CodeMirror.defineMode("haskell", function(_config, modeConfig) {
15
+
16
+ function switchState(source, setState, f) {
17
+ setState(f);
18
+ return f(source, setState);
19
+ }
20
+
21
+ // These should all be Unicode extended, as per the Haskell 2010 report
22
+ var smallRE = /[a-z_]/;
23
+ var largeRE = /[A-Z]/;
24
+ var digitRE = /\d/;
25
+ var hexitRE = /[0-9A-Fa-f]/;
26
+ var octitRE = /[0-7]/;
27
+ var idRE = /[a-z_A-Z0-9'\xa1-\uffff]/;
28
+ var symbolRE = /[-!#$%&*+.\/<=>?@\\^|~:]/;
29
+ var specialRE = /[(),;[\]`{}]/;
30
+ var whiteCharRE = /[ \t\v\f]/; // newlines are handled in tokenizer
31
+
32
+ function normal(source, setState) {
33
+ if (source.eatWhile(whiteCharRE)) {
34
+ return null;
35
+ }
36
+
37
+ var ch = source.next();
38
+ if (specialRE.test(ch)) {
39
+ if (ch == '{' && source.eat('-')) {
40
+ var t = "comment";
41
+ if (source.eat('#')) {
42
+ t = "meta";
43
+ }
44
+ return switchState(source, setState, ncomment(t, 1));
45
+ }
46
+ return null;
47
+ }
48
+
49
+ if (ch == '\'') {
50
+ if (source.eat('\\')) {
51
+ source.next(); // should handle other escapes here
52
+ }
53
+ else {
54
+ source.next();
55
+ }
56
+ if (source.eat('\'')) {
57
+ return "string";
58
+ }
59
+ return "string error";
60
+ }
61
+
62
+ if (ch == '"') {
63
+ return switchState(source, setState, stringLiteral);
64
+ }
65
+
66
+ if (largeRE.test(ch)) {
67
+ source.eatWhile(idRE);
68
+ if (source.eat('.')) {
69
+ return "qualifier";
70
+ }
71
+ return "variable-2";
72
+ }
73
+
74
+ if (smallRE.test(ch)) {
75
+ source.eatWhile(idRE);
76
+ return "variable";
77
+ }
78
+
79
+ if (digitRE.test(ch)) {
80
+ if (ch == '0') {
81
+ if (source.eat(/[xX]/)) {
82
+ source.eatWhile(hexitRE); // should require at least 1
83
+ return "integer";
84
+ }
85
+ if (source.eat(/[oO]/)) {
86
+ source.eatWhile(octitRE); // should require at least 1
87
+ return "number";
88
+ }
89
+ }
90
+ source.eatWhile(digitRE);
91
+ var t = "number";
92
+ if (source.match(/^\.\d+/)) {
93
+ t = "number";
94
+ }
95
+ if (source.eat(/[eE]/)) {
96
+ t = "number";
97
+ source.eat(/[-+]/);
98
+ source.eatWhile(digitRE); // should require at least 1
99
+ }
100
+ return t;
101
+ }
102
+
103
+ if (ch == "." && source.eat("."))
104
+ return "keyword";
105
+
106
+ if (symbolRE.test(ch)) {
107
+ if (ch == '-' && source.eat(/-/)) {
108
+ source.eatWhile(/-/);
109
+ if (!source.eat(symbolRE)) {
110
+ source.skipToEnd();
111
+ return "comment";
112
+ }
113
+ }
114
+ var t = "variable";
115
+ if (ch == ':') {
116
+ t = "variable-2";
117
+ }
118
+ source.eatWhile(symbolRE);
119
+ return t;
120
+ }
121
+
122
+ return "error";
123
+ }
124
+
125
+ function ncomment(type, nest) {
126
+ if (nest == 0) {
127
+ return normal;
128
+ }
129
+ return function(source, setState) {
130
+ var currNest = nest;
131
+ while (!source.eol()) {
132
+ var ch = source.next();
133
+ if (ch == '{' && source.eat('-')) {
134
+ ++currNest;
135
+ }
136
+ else if (ch == '-' && source.eat('}')) {
137
+ --currNest;
138
+ if (currNest == 0) {
139
+ setState(normal);
140
+ return type;
141
+ }
142
+ }
143
+ }
144
+ setState(ncomment(type, currNest));
145
+ return type;
146
+ };
147
+ }
148
+
149
+ function stringLiteral(source, setState) {
150
+ while (!source.eol()) {
151
+ var ch = source.next();
152
+ if (ch == '"') {
153
+ setState(normal);
154
+ return "string";
155
+ }
156
+ if (ch == '\\') {
157
+ if (source.eol() || source.eat(whiteCharRE)) {
158
+ setState(stringGap);
159
+ return "string";
160
+ }
161
+ if (source.eat('&')) {
162
+ }
163
+ else {
164
+ source.next(); // should handle other escapes here
165
+ }
166
+ }
167
+ }
168
+ setState(normal);
169
+ return "string error";
170
+ }
171
+
172
+ function stringGap(source, setState) {
173
+ if (source.eat('\\')) {
174
+ return switchState(source, setState, stringLiteral);
175
+ }
176
+ source.next();
177
+ setState(normal);
178
+ return "error";
179
+ }
180
+
181
+
182
+ var wellKnownWords = (function() {
183
+ var wkw = {};
184
+ function setType(t) {
185
+ return function () {
186
+ for (var i = 0; i < arguments.length; i++)
187
+ wkw[arguments[i]] = t;
188
+ };
189
+ }
190
+
191
+ setType("keyword")(
192
+ "case", "class", "data", "default", "deriving", "do", "else", "foreign",
193
+ "if", "import", "in", "infix", "infixl", "infixr", "instance", "let",
194
+ "module", "newtype", "of", "then", "type", "where", "_");
195
+
196
+ setType("keyword")(
197
+ "\.\.", ":", "::", "=", "\\", "<-", "->", "@", "~", "=>");
198
+
199
+ setType("builtin")(
200
+ "!!", "$!", "$", "&&", "+", "++", "-", ".", "/", "/=", "<", "<*", "<=",
201
+ "<$>", "<*>", "=<<", "==", ">", ">=", ">>", ">>=", "^", "^^", "||", "*",
202
+ "*>", "**");
203
+
204
+ setType("builtin")(
205
+ "Applicative", "Bool", "Bounded", "Char", "Double", "EQ", "Either", "Enum",
206
+ "Eq", "False", "FilePath", "Float", "Floating", "Fractional", "Functor",
207
+ "GT", "IO", "IOError", "Int", "Integer", "Integral", "Just", "LT", "Left",
208
+ "Maybe", "Monad", "Nothing", "Num", "Ord", "Ordering", "Rational", "Read",
209
+ "ReadS", "Real", "RealFloat", "RealFrac", "Right", "Show", "ShowS",
210
+ "String", "True");
211
+
212
+ setType("builtin")(
213
+ "abs", "acos", "acosh", "all", "and", "any", "appendFile", "asTypeOf",
214
+ "asin", "asinh", "atan", "atan2", "atanh", "break", "catch", "ceiling",
215
+ "compare", "concat", "concatMap", "const", "cos", "cosh", "curry",
216
+ "cycle", "decodeFloat", "div", "divMod", "drop", "dropWhile", "either",
217
+ "elem", "encodeFloat", "enumFrom", "enumFromThen", "enumFromThenTo",
218
+ "enumFromTo", "error", "even", "exp", "exponent", "fail", "filter",
219
+ "flip", "floatDigits", "floatRadix", "floatRange", "floor", "fmap",
220
+ "foldl", "foldl1", "foldr", "foldr1", "fromEnum", "fromInteger",
221
+ "fromIntegral", "fromRational", "fst", "gcd", "getChar", "getContents",
222
+ "getLine", "head", "id", "init", "interact", "ioError", "isDenormalized",
223
+ "isIEEE", "isInfinite", "isNaN", "isNegativeZero", "iterate", "last",
224
+ "lcm", "length", "lex", "lines", "log", "logBase", "lookup", "map",
225
+ "mapM", "mapM_", "max", "maxBound", "maximum", "maybe", "min", "minBound",
226
+ "minimum", "mod", "negate", "not", "notElem", "null", "odd", "or",
227
+ "otherwise", "pi", "pred", "print", "product", "properFraction", "pure",
228
+ "putChar", "putStr", "putStrLn", "quot", "quotRem", "read", "readFile",
229
+ "readIO", "readList", "readLn", "readParen", "reads", "readsPrec",
230
+ "realToFrac", "recip", "rem", "repeat", "replicate", "return", "reverse",
231
+ "round", "scaleFloat", "scanl", "scanl1", "scanr", "scanr1", "seq",
232
+ "sequence", "sequence_", "show", "showChar", "showList", "showParen",
233
+ "showString", "shows", "showsPrec", "significand", "signum", "sin",
234
+ "sinh", "snd", "span", "splitAt", "sqrt", "subtract", "succ", "sum",
235
+ "tail", "take", "takeWhile", "tan", "tanh", "toEnum", "toInteger",
236
+ "toRational", "truncate", "uncurry", "undefined", "unlines", "until",
237
+ "unwords", "unzip", "unzip3", "userError", "words", "writeFile", "zip",
238
+ "zip3", "zipWith", "zipWith3");
239
+
240
+ var override = modeConfig.overrideKeywords;
241
+ if (override) for (var word in override) if (override.hasOwnProperty(word))
242
+ wkw[word] = override[word];
243
+
244
+ return wkw;
245
+ })();
246
+
247
+
248
+
249
+ return {
250
+ startState: function () { return { f: normal }; },
251
+ copyState: function (s) { return { f: s.f }; },
252
+
253
+ token: function(stream, state) {
254
+ var t = state.f(stream, function(s) { state.f = s; });
255
+ var w = stream.current();
256
+ return wellKnownWords.hasOwnProperty(w) ? wellKnownWords[w] : t;
257
+ },
258
+
259
+ blockCommentStart: "{-",
260
+ blockCommentEnd: "-}",
261
+ lineComment: "--"
262
+ };
263
+
264
+ });
265
+
266
+ CodeMirror.defineMIME("text/x-haskell", "haskell");
267
+
268
+ });
@@ -0,0 +1,43 @@
1
+ // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
+ // Distributed under an MIT license: https://codemirror.net/5/LICENSE
3
+
4
+ (function (mod) {
5
+ if (typeof exports == "object" && typeof module == "object") // CommonJS
6
+ mod(require("../../lib/codemirror"), require("../haskell/haskell"))
7
+ else if (typeof define == "function" && define.amd) // AMD
8
+ define(["../../lib/codemirror", "../haskell/haskell"], mod)
9
+ else // Plain browser env
10
+ mod(CodeMirror)
11
+ })(function (CodeMirror) {
12
+ "use strict"
13
+
14
+ CodeMirror.defineMode("haskell-literate", function (config, parserConfig) {
15
+ var baseMode = CodeMirror.getMode(config, (parserConfig && parserConfig.base) || "haskell")
16
+
17
+ return {
18
+ startState: function () {
19
+ return {
20
+ inCode: false,
21
+ baseState: CodeMirror.startState(baseMode)
22
+ }
23
+ },
24
+ token: function (stream, state) {
25
+ if (stream.sol()) {
26
+ if (state.inCode = stream.eat(">"))
27
+ return "meta"
28
+ }
29
+ if (state.inCode) {
30
+ return baseMode.token(stream, state.baseState)
31
+ } else {
32
+ stream.skipToEnd()
33
+ return "comment"
34
+ }
35
+ },
36
+ innerMode: function (state) {
37
+ return state.inCode ? {state: state.baseState, mode: baseMode} : null
38
+ }
39
+ }
40
+ }, "haskell")
41
+
42
+ CodeMirror.defineMIME("text/x-literate-haskell", "haskell-literate")
43
+ });