annotate .cms/lib/codemirror/mode/haskell-literate/haskell-literate.js @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function (mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"), require("../haskell/haskell"))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror", "../haskell/haskell"], mod)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function (CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 CodeMirror.defineMode("haskell-literate", function (config, parserConfig) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var baseMode = CodeMirror.getMode(config, (parserConfig && parserConfig.base) || "haskell")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 startState: function () {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 inCode: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 baseState: CodeMirror.startState(baseMode)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 token: function (stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 if (state.inCode = stream.eat(">"))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 return "meta"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 if (state.inCode) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 return baseMode.token(stream, state.baseState)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 stream.skipToEnd()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 return "comment"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 innerMode: function (state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 return state.inCode ? {state: state.baseState, mode: baseMode} : null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 }, "haskell")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 CodeMirror.defineMIME("text/x-literate-haskell", "haskell-literate")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 });