@muze-nl/simplystore 0.1.2
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.
- package/.dockerignore +8 -0
- package/.github/workflows/docker-build.yml +45 -0
- package/.gitignore~ +1 -0
- package/Dockerfile +60 -0
- package/LICENSE +21 -0
- package/README.md +99 -0
- package/data.jsontag +20 -0
- package/design/access-management.md +25 -0
- package/design/acid.md +31 -0
- package/design/commands.md +25 -0
- package/design/identity.md +71 -0
- package/design/immutability.md +26 -0
- package/design/jsontag-selector.md +365 -0
- package/design/multitasking.md +13 -0
- package/design/thoughts.md +32 -0
- package/docs/docker.md +129 -0
- package/package.json +29 -0
- package/package.json~ +29 -0
- package/src/run.mjs +3 -0
- package/src/server.mjs +323 -0
- package/src/triplestore.mjs +182 -0
- package/www/assets/css/style.css +2296 -0
- package/www/assets/feather-sprite.svg +1 -0
- package/www/assets/img/simplystore-narrow-white.svg +138 -0
- package/www/assets/img/simplystore-narrow.svg +138 -0
- package/www/assets/img/simplystore-white.svg +153 -0
- package/www/assets/img/simplystore.svg +153 -0
- package/www/codemirror/AUTHORS +979 -0
- package/www/codemirror/CHANGELOG.md +2208 -0
- package/www/codemirror/CONTRIBUTING.md +92 -0
- package/www/codemirror/LICENSE +21 -0
- package/www/codemirror/README.md +47 -0
- package/www/codemirror/addon/comment/comment.js +211 -0
- package/www/codemirror/addon/comment/continuecomment.js +114 -0
- package/www/codemirror/addon/dialog/dialog.css +32 -0
- package/www/codemirror/addon/dialog/dialog.js +163 -0
- package/www/codemirror/addon/display/autorefresh.js +47 -0
- package/www/codemirror/addon/display/fullscreen.css +6 -0
- package/www/codemirror/addon/display/fullscreen.js +41 -0
- package/www/codemirror/addon/display/panel.js +133 -0
- package/www/codemirror/addon/display/placeholder.js +78 -0
- package/www/codemirror/addon/display/rulers.js +51 -0
- package/www/codemirror/addon/edit/closebrackets.js +201 -0
- package/www/codemirror/addon/edit/closetag.js +185 -0
- package/www/codemirror/addon/edit/continuelist.js +101 -0
- package/www/codemirror/addon/edit/matchbrackets.js +160 -0
- package/www/codemirror/addon/edit/matchtags.js +66 -0
- package/www/codemirror/addon/edit/trailingspace.js +27 -0
- package/www/codemirror/addon/fold/brace-fold.js +119 -0
- package/www/codemirror/addon/fold/comment-fold.js +59 -0
- package/www/codemirror/addon/fold/foldcode.js +159 -0
- package/www/codemirror/addon/fold/foldgutter.css +20 -0
- package/www/codemirror/addon/fold/foldgutter.js +169 -0
- package/www/codemirror/addon/fold/indent-fold.js +48 -0
- package/www/codemirror/addon/fold/markdown-fold.js +49 -0
- package/www/codemirror/addon/fold/xml-fold.js +184 -0
- package/www/codemirror/addon/hint/anyword-hint.js +41 -0
- package/www/codemirror/addon/hint/css-hint.js +66 -0
- package/www/codemirror/addon/hint/html-hint.js +351 -0
- package/www/codemirror/addon/hint/javascript-hint.js +162 -0
- package/www/codemirror/addon/hint/show-hint.css +37 -0
- package/www/codemirror/addon/hint/show-hint.js +523 -0
- package/www/codemirror/addon/hint/sql-hint.js +304 -0
- package/www/codemirror/addon/hint/xml-hint.js +132 -0
- package/www/codemirror/addon/lint/coffeescript-lint.js +47 -0
- package/www/codemirror/addon/lint/css-lint.js +40 -0
- package/www/codemirror/addon/lint/html-lint.js +59 -0
- package/www/codemirror/addon/lint/javascript-lint.js +65 -0
- package/www/codemirror/addon/lint/json-lint.js +40 -0
- package/www/codemirror/addon/lint/lint.css +79 -0
- package/www/codemirror/addon/lint/lint.js +291 -0
- package/www/codemirror/addon/lint/yaml-lint.js +41 -0
- package/www/codemirror/addon/merge/merge.css +119 -0
- package/www/codemirror/addon/merge/merge.js +1018 -0
- package/www/codemirror/addon/mode/loadmode.js +66 -0
- package/www/codemirror/addon/mode/multiplex.js +136 -0
- package/www/codemirror/addon/mode/multiplex_test.js +49 -0
- package/www/codemirror/addon/mode/overlay.js +90 -0
- package/www/codemirror/addon/mode/simple.js +216 -0
- package/www/codemirror/addon/runmode/colorize.js +40 -0
- package/www/codemirror/addon/runmode/runmode-standalone.js +334 -0
- package/www/codemirror/addon/runmode/runmode.js +76 -0
- package/www/codemirror/addon/runmode/runmode.node.js +329 -0
- package/www/codemirror/addon/scroll/annotatescrollbar.js +128 -0
- package/www/codemirror/addon/scroll/scrollpastend.js +48 -0
- package/www/codemirror/addon/scroll/simplescrollbars.css +66 -0
- package/www/codemirror/addon/scroll/simplescrollbars.js +152 -0
- package/www/codemirror/addon/search/jump-to-line.js +53 -0
- package/www/codemirror/addon/search/match-highlighter.js +167 -0
- package/www/codemirror/addon/search/matchesonscrollbar.css +8 -0
- package/www/codemirror/addon/search/matchesonscrollbar.js +97 -0
- package/www/codemirror/addon/search/search.js +295 -0
- package/www/codemirror/addon/search/searchcursor.js +305 -0
- package/www/codemirror/addon/selection/active-line.js +72 -0
- package/www/codemirror/addon/selection/mark-selection.js +119 -0
- package/www/codemirror/addon/selection/selection-pointer.js +98 -0
- package/www/codemirror/addon/tern/tern.css +87 -0
- package/www/codemirror/addon/tern/tern.js +756 -0
- package/www/codemirror/addon/tern/worker.js +44 -0
- package/www/codemirror/addon/wrap/hardwrap.js +160 -0
- package/www/codemirror/bin/source-highlight +48 -0
- package/www/codemirror/keymap/emacs.js +545 -0
- package/www/codemirror/keymap/sublime.js +720 -0
- package/www/codemirror/keymap/vim.js +5978 -0
- package/www/codemirror/lib/codemirror.css +344 -0
- package/www/codemirror/lib/codemirror.js +9874 -0
- package/www/codemirror/mode/apl/apl.js +174 -0
- package/www/codemirror/mode/asciiarmor/asciiarmor.js +74 -0
- package/www/codemirror/mode/asn.1/asn.1.js +204 -0
- package/www/codemirror/mode/asterisk/asterisk.js +220 -0
- package/www/codemirror/mode/brainfuck/brainfuck.js +85 -0
- package/www/codemirror/mode/clike/clike.js +940 -0
- package/www/codemirror/mode/clojure/clojure.js +292 -0
- package/www/codemirror/mode/cmake/cmake.js +97 -0
- package/www/codemirror/mode/cobol/cobol.js +255 -0
- package/www/codemirror/mode/coffeescript/coffeescript.js +359 -0
- package/www/codemirror/mode/commonlisp/commonlisp.js +125 -0
- package/www/codemirror/mode/crystal/crystal.js +433 -0
- package/www/codemirror/mode/css/css.js +862 -0
- package/www/codemirror/mode/cypher/cypher.js +152 -0
- package/www/codemirror/mode/d/d.js +223 -0
- package/www/codemirror/mode/dart/dart.js +166 -0
- package/www/codemirror/mode/diff/diff.js +47 -0
- package/www/codemirror/mode/django/django.js +356 -0
- package/www/codemirror/mode/dockerfile/dockerfile.js +211 -0
- package/www/codemirror/mode/dtd/dtd.js +142 -0
- package/www/codemirror/mode/dylan/dylan.js +352 -0
- package/www/codemirror/mode/ebnf/ebnf.js +195 -0
- package/www/codemirror/mode/ecl/ecl.js +206 -0
- package/www/codemirror/mode/eiffel/eiffel.js +160 -0
- package/www/codemirror/mode/elm/elm.js +245 -0
- package/www/codemirror/mode/erlang/erlang.js +619 -0
- package/www/codemirror/mode/factor/factor.js +85 -0
- package/www/codemirror/mode/fcl/fcl.js +173 -0
- package/www/codemirror/mode/forth/forth.js +180 -0
- package/www/codemirror/mode/fortran/fortran.js +188 -0
- package/www/codemirror/mode/gas/gas.js +353 -0
- package/www/codemirror/mode/gfm/gfm.js +129 -0
- package/www/codemirror/mode/gherkin/gherkin.js +178 -0
- package/www/codemirror/mode/go/go.js +187 -0
- package/www/codemirror/mode/groovy/groovy.js +247 -0
- package/www/codemirror/mode/haml/haml.js +161 -0
- package/www/codemirror/mode/handlebars/handlebars.js +70 -0
- package/www/codemirror/mode/haskell/haskell.js +268 -0
- package/www/codemirror/mode/haskell-literate/haskell-literate.js +43 -0
- package/www/codemirror/mode/haxe/haxe.js +515 -0
- package/www/codemirror/mode/htmlembedded/htmlembedded.js +37 -0
- package/www/codemirror/mode/htmlmixed/htmlmixed.js +153 -0
- package/www/codemirror/mode/http/http.js +113 -0
- package/www/codemirror/mode/idl/idl.js +290 -0
- package/www/codemirror/mode/javascript/javascript.js +960 -0
- package/www/codemirror/mode/jinja2/jinja2.js +193 -0
- package/www/codemirror/mode/jsx/jsx.js +148 -0
- package/www/codemirror/mode/julia/julia.js +390 -0
- package/www/codemirror/mode/livescript/livescript.js +280 -0
- package/www/codemirror/mode/lua/lua.js +160 -0
- package/www/codemirror/mode/markdown/markdown.js +886 -0
- package/www/codemirror/mode/mathematica/mathematica.js +176 -0
- package/www/codemirror/mode/mbox/mbox.js +129 -0
- package/www/codemirror/mode/meta.js +221 -0
- package/www/codemirror/mode/mirc/mirc.js +193 -0
- package/www/codemirror/mode/mllike/mllike.js +359 -0
- package/www/codemirror/mode/modelica/modelica.js +245 -0
- package/www/codemirror/mode/mscgen/mscgen.js +175 -0
- package/www/codemirror/mode/mumps/mumps.js +148 -0
- package/www/codemirror/mode/nginx/nginx.js +178 -0
- package/www/codemirror/mode/nsis/nsis.js +95 -0
- package/www/codemirror/mode/ntriples/ntriples.js +195 -0
- package/www/codemirror/mode/octave/octave.js +139 -0
- package/www/codemirror/mode/oz/oz.js +252 -0
- package/www/codemirror/mode/pascal/pascal.js +136 -0
- package/www/codemirror/mode/pegjs/pegjs.js +111 -0
- package/www/codemirror/mode/perl/perl.js +836 -0
- package/www/codemirror/mode/php/php.js +234 -0
- package/www/codemirror/mode/pig/pig.js +178 -0
- package/www/codemirror/mode/powershell/powershell.js +398 -0
- package/www/codemirror/mode/properties/properties.js +78 -0
- package/www/codemirror/mode/protobuf/protobuf.js +72 -0
- package/www/codemirror/mode/pug/pug.js +591 -0
- package/www/codemirror/mode/puppet/puppet.js +220 -0
- package/www/codemirror/mode/python/python.js +402 -0
- package/www/codemirror/mode/q/q.js +139 -0
- package/www/codemirror/mode/r/r.js +190 -0
- package/www/codemirror/mode/rpm/changes/index.html +66 -0
- package/www/codemirror/mode/rpm/rpm.js +109 -0
- package/www/codemirror/mode/rst/rst.js +557 -0
- package/www/codemirror/mode/ruby/ruby.js +303 -0
- package/www/codemirror/mode/rust/rust.js +72 -0
- package/www/codemirror/mode/sas/sas.js +303 -0
- package/www/codemirror/mode/sass/sass.js +459 -0
- package/www/codemirror/mode/scheme/scheme.js +284 -0
- package/www/codemirror/mode/shell/shell.js +168 -0
- package/www/codemirror/mode/sieve/sieve.js +193 -0
- package/www/codemirror/mode/slim/slim.js +575 -0
- package/www/codemirror/mode/smalltalk/smalltalk.js +168 -0
- package/www/codemirror/mode/smarty/smarty.js +225 -0
- package/www/codemirror/mode/solr/solr.js +104 -0
- package/www/codemirror/mode/soy/soy.js +665 -0
- package/www/codemirror/mode/sparql/sparql.js +184 -0
- package/www/codemirror/mode/spreadsheet/spreadsheet.js +112 -0
- package/www/codemirror/mode/sql/sql.js +525 -0
- package/www/codemirror/mode/stex/stex.js +264 -0
- package/www/codemirror/mode/stylus/stylus.js +775 -0
- package/www/codemirror/mode/swift/swift.js +221 -0
- package/www/codemirror/mode/tcl/tcl.js +140 -0
- package/www/codemirror/mode/textile/textile.js +469 -0
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +308 -0
- package/www/codemirror/mode/tiki/tiki.css +26 -0
- package/www/codemirror/mode/tiki/tiki.js +312 -0
- package/www/codemirror/mode/toml/toml.js +88 -0
- package/www/codemirror/mode/tornado/tornado.js +68 -0
- package/www/codemirror/mode/troff/troff.js +84 -0
- package/www/codemirror/mode/ttcn/ttcn.js +283 -0
- package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +214 -0
- package/www/codemirror/mode/turtle/turtle.js +162 -0
- package/www/codemirror/mode/twig/twig.js +141 -0
- package/www/codemirror/mode/vb/vb.js +275 -0
- package/www/codemirror/mode/vbscript/vbscript.js +350 -0
- package/www/codemirror/mode/velocity/velocity.js +202 -0
- package/www/codemirror/mode/verilog/verilog.js +781 -0
- package/www/codemirror/mode/vhdl/vhdl.js +189 -0
- package/www/codemirror/mode/vue/vue.js +77 -0
- package/www/codemirror/mode/wast/wast.js +132 -0
- package/www/codemirror/mode/webidl/webidl.js +195 -0
- package/www/codemirror/mode/xml/xml.js +417 -0
- package/www/codemirror/mode/xquery/xquery.js +448 -0
- package/www/codemirror/mode/yacas/yacas.js +204 -0
- package/www/codemirror/mode/yaml/yaml.js +120 -0
- package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +72 -0
- package/www/codemirror/mode/z80/z80.js +116 -0
- package/www/codemirror/package.json +52 -0
- package/www/codemirror/rollup.config.js +52 -0
- package/www/codemirror/src/addon/runmode/codemirror-standalone.js +24 -0
- package/www/codemirror/src/addon/runmode/codemirror.node.js +21 -0
- package/www/codemirror/src/addon/runmode/runmode-standalone.js +2 -0
- package/www/codemirror/src/addon/runmode/runmode.node.js +2 -0
- package/www/codemirror/src/codemirror.js +3 -0
- package/www/codemirror/src/display/Display.js +116 -0
- package/www/codemirror/src/display/focus.js +50 -0
- package/www/codemirror/src/display/gutters.js +44 -0
- package/www/codemirror/src/display/highlight_worker.js +55 -0
- package/www/codemirror/src/display/line_numbers.js +48 -0
- package/www/codemirror/src/display/mode_state.js +22 -0
- package/www/codemirror/src/display/operations.js +206 -0
- package/www/codemirror/src/display/scroll_events.js +132 -0
- package/www/codemirror/src/display/scrollbars.js +194 -0
- package/www/codemirror/src/display/scrolling.js +186 -0
- package/www/codemirror/src/display/selection.js +173 -0
- package/www/codemirror/src/display/update_display.js +267 -0
- package/www/codemirror/src/display/update_line.js +189 -0
- package/www/codemirror/src/display/update_lines.js +82 -0
- package/www/codemirror/src/display/view_tracking.js +153 -0
- package/www/codemirror/src/edit/CodeMirror.js +217 -0
- package/www/codemirror/src/edit/commands.js +178 -0
- package/www/codemirror/src/edit/deleteNearSelection.js +30 -0
- package/www/codemirror/src/edit/drop_events.js +130 -0
- package/www/codemirror/src/edit/fromTextArea.js +61 -0
- package/www/codemirror/src/edit/global_events.js +45 -0
- package/www/codemirror/src/edit/key_events.js +163 -0
- package/www/codemirror/src/edit/legacy.js +62 -0
- package/www/codemirror/src/edit/main.js +69 -0
- package/www/codemirror/src/edit/methods.js +555 -0
- package/www/codemirror/src/edit/mouse_events.js +417 -0
- package/www/codemirror/src/edit/options.js +194 -0
- package/www/codemirror/src/edit/utils.js +7 -0
- package/www/codemirror/src/input/ContentEditableInput.js +546 -0
- package/www/codemirror/src/input/TextareaInput.js +380 -0
- package/www/codemirror/src/input/indent.js +71 -0
- package/www/codemirror/src/input/input.js +134 -0
- package/www/codemirror/src/input/keymap.js +147 -0
- package/www/codemirror/src/input/keynames.js +17 -0
- package/www/codemirror/src/input/movement.js +111 -0
- package/www/codemirror/src/line/highlight.js +284 -0
- package/www/codemirror/src/line/line_data.js +349 -0
- package/www/codemirror/src/line/pos.js +40 -0
- package/www/codemirror/src/line/saw_special_spans.js +10 -0
- package/www/codemirror/src/line/spans.js +390 -0
- package/www/codemirror/src/line/utils_line.js +85 -0
- package/www/codemirror/src/measurement/position_measurement.js +702 -0
- package/www/codemirror/src/measurement/widgets.js +26 -0
- package/www/codemirror/src/model/Doc.js +436 -0
- package/www/codemirror/src/model/change_measurement.js +61 -0
- package/www/codemirror/src/model/changes.js +339 -0
- package/www/codemirror/src/model/chunk.js +167 -0
- package/www/codemirror/src/model/document_data.js +112 -0
- package/www/codemirror/src/model/history.js +228 -0
- package/www/codemirror/src/model/line_widget.js +78 -0
- package/www/codemirror/src/model/mark_text.js +293 -0
- package/www/codemirror/src/model/selection.js +84 -0
- package/www/codemirror/src/model/selection_updates.js +216 -0
- package/www/codemirror/src/modes.js +96 -0
- package/www/codemirror/src/util/StringStream.js +90 -0
- package/www/codemirror/src/util/bidi.js +215 -0
- package/www/codemirror/src/util/browser.js +34 -0
- package/www/codemirror/src/util/dom.js +101 -0
- package/www/codemirror/src/util/event.js +103 -0
- package/www/codemirror/src/util/feature_detection.js +84 -0
- package/www/codemirror/src/util/misc.js +168 -0
- package/www/codemirror/src/util/operation_group.js +72 -0
- package/www/codemirror/theme/3024-day.css +41 -0
- package/www/codemirror/theme/3024-night.css +39 -0
- package/www/codemirror/theme/abbott.css +268 -0
- package/www/codemirror/theme/abcdef.css +32 -0
- package/www/codemirror/theme/ambiance-mobile.css +5 -0
- package/www/codemirror/theme/ambiance.css +74 -0
- package/www/codemirror/theme/ayu-dark.css +44 -0
- package/www/codemirror/theme/ayu-mirage.css +45 -0
- package/www/codemirror/theme/base16-dark.css +40 -0
- package/www/codemirror/theme/base16-light.css +38 -0
- package/www/codemirror/theme/bespin.css +34 -0
- package/www/codemirror/theme/blackboard.css +32 -0
- package/www/codemirror/theme/cobalt.css +25 -0
- package/www/codemirror/theme/colorforth.css +33 -0
- package/www/codemirror/theme/darcula.css +53 -0
- package/www/codemirror/theme/dracula.css +40 -0
- package/www/codemirror/theme/duotone-dark.css +35 -0
- package/www/codemirror/theme/duotone-light.css +36 -0
- package/www/codemirror/theme/eclipse.css +23 -0
- package/www/codemirror/theme/elegant.css +13 -0
- package/www/codemirror/theme/erlang-dark.css +34 -0
- package/www/codemirror/theme/gruvbox-dark.css +39 -0
- package/www/codemirror/theme/hopscotch.css +34 -0
- package/www/codemirror/theme/icecoder.css +43 -0
- package/www/codemirror/theme/idea.css +42 -0
- package/www/codemirror/theme/isotope.css +34 -0
- package/www/codemirror/theme/juejin.css +30 -0
- package/www/codemirror/theme/lesser-dark.css +47 -0
- package/www/codemirror/theme/liquibyte.css +95 -0
- package/www/codemirror/theme/lucario.css +37 -0
- package/www/codemirror/theme/material-darker.css +135 -0
- package/www/codemirror/theme/material-ocean.css +141 -0
- package/www/codemirror/theme/material-palenight.css +141 -0
- package/www/codemirror/theme/material.css +141 -0
- package/www/codemirror/theme/mbo.css +37 -0
- package/www/codemirror/theme/mdn-like.css +46 -0
- package/www/codemirror/theme/midnight.css +39 -0
- package/www/codemirror/theme/monokai.css +41 -0
- package/www/codemirror/theme/moxer.css +143 -0
- package/www/codemirror/theme/neat.css +12 -0
- package/www/codemirror/theme/neo.css +43 -0
- package/www/codemirror/theme/night.css +27 -0
- package/www/codemirror/theme/nord.css +42 -0
- package/www/codemirror/theme/oceanic-next.css +46 -0
- package/www/codemirror/theme/panda-syntax.css +85 -0
- package/www/codemirror/theme/paraiso-dark.css +38 -0
- package/www/codemirror/theme/paraiso-light.css +38 -0
- package/www/codemirror/theme/pastel-on-dark.css +52 -0
- package/www/codemirror/theme/railscasts.css +34 -0
- package/www/codemirror/theme/rubyblue.css +25 -0
- package/www/codemirror/theme/seti.css +44 -0
- package/www/codemirror/theme/shadowfox.css +52 -0
- package/www/codemirror/theme/solarized.css +165 -0
- package/www/codemirror/theme/ssms.css +16 -0
- package/www/codemirror/theme/the-matrix.css +30 -0
- package/www/codemirror/theme/tomorrow-night-bright.css +35 -0
- package/www/codemirror/theme/tomorrow-night-eighties.css +38 -0
- package/www/codemirror/theme/ttcn.css +64 -0
- package/www/codemirror/theme/twilight.css +32 -0
- package/www/codemirror/theme/vibrant-ink.css +34 -0
- package/www/codemirror/theme/xq-dark.css +53 -0
- package/www/codemirror/theme/xq-light.css +43 -0
- package/www/codemirror/theme/yeti.css +44 -0
- package/www/codemirror/theme/yonce.css +59 -0
- package/www/codemirror/theme/zenburn.css +37 -0
- package/www/index.html +216 -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
|
+
});
|