@kong-ui-public/monaco-editor 0.1.0 → 0.1.2-pr.2609.2ce4f4787.0

package/dist/cameligo-sFL5plcd.js

@@ -0,0 +1,180 @@
+/*!-----------------------------------------------------------------------------
+ * Copyright (c) Microsoft Corporation. All rights reserved.
+ * Version: 0.52.2(404545bded1df6ffa41ea0af4e8ddb219018c6c1)
+ * Released under the MIT license
+ * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
+ *-----------------------------------------------------------------------------*/
+var e = {
+  comments: {
+    lineComment: "//",
+    blockComment: ["(*", "*)"]
+  },
+  brackets: [
+    ["{", "}"],
+    ["[", "]"],
+    ["(", ")"],
+    ["<", ">"]
+  ],
+  autoClosingPairs: [
+    { open: "{", close: "}" },
+    { open: "[", close: "]" },
+    { open: "(", close: ")" },
+    { open: "<", close: ">" },
+    { open: "'", close: "'" },
+    { open: '"', close: '"' },
+    { open: "(*", close: "*)" }
+  ],
+  surroundingPairs: [
+    { open: "{", close: "}" },
+    { open: "[", close: "]" },
+    { open: "(", close: ")" },
+    { open: "<", close: ">" },
+    { open: "'", close: "'" },
+    { open: '"', close: '"' },
+    { open: "(*", close: "*)" }
+  ]
+}, o = {
+  defaultToken: "",
+  tokenPostfix: ".cameligo",
+  ignoreCase: !0,
+  brackets: [
+    { open: "{", close: "}", token: "delimiter.curly" },
+    { open: "[", close: "]", token: "delimiter.square" },
+    { open: "(", close: ")", token: "delimiter.parenthesis" },
+    { open: "<", close: ">", token: "delimiter.angle" }
+  ],
+  keywords: [
+    "abs",
+    "assert",
+    "block",
+    "Bytes",
+    "case",
+    "Crypto",
+    "Current",
+    "else",
+    "failwith",
+    "false",
+    "for",
+    "fun",
+    "if",
+    "in",
+    "let",
+    "let%entry",
+    "let%init",
+    "List",
+    "list",
+    "Map",
+    "map",
+    "match",
+    "match%nat",
+    "mod",
+    "not",
+    "operation",
+    "Operation",
+    "of",
+    "record",
+    "Set",
+    "set",
+    "sender",
+    "skip",
+    "source",
+    "String",
+    "then",
+    "to",
+    "true",
+    "type",
+    "with"
+  ],
+  typeKeywords: ["int", "unit", "string", "tz", "nat", "bool"],
+  operators: [
+    "=",
+    ">",
+    "<",
+    "<=",
+    ">=",
+    "<>",
+    ":",
+    ":=",
+    "and",
+    "mod",
+    "or",
+    "+",
+    "-",
+    "*",
+    "/",
+    "@",
+    "&",
+    "^",
+    "%",
+    "->",
+    "<-",
+    "&&",
+    "||"
+  ],
+  // we include these common regular expressions
+  symbols: /[=><:@\^&|+\-*\/\^%]+/,
+  // The main tokenizer for our languages
+  tokenizer: {
+    root: [
+      // identifiers and keywords
+      [
+        /[a-zA-Z_][\w]*/,
+        {
+          cases: {
+            "@keywords": { token: "keyword.$0" },
+            "@default": "identifier"
+          }
+        }
+      ],
+      // whitespace
+      { include: "@whitespace" },
+      // delimiters and operators
+      [/[{}()\[\]]/, "@brackets"],
+      [/[<>](?!@symbols)/, "@brackets"],
+      [
+        /@symbols/,
+        {
+          cases: {
+            "@operators": "delimiter",
+            "@default": ""
+          }
+        }
+      ],
+      // numbers
+      [/\d*\.\d+([eE][\-+]?\d+)?/, "number.float"],
+      [/\$[0-9a-fA-F]{1,16}/, "number.hex"],
+      [/\d+/, "number"],
+      // delimiter: after number because of .\d floats
+      [/[;,.]/, "delimiter"],
+      // strings
+      [/'([^'\\]|\\.)*$/, "string.invalid"],
+      // non-teminated string
+      [/'/, "string", "@string"],
+      // characters
+      [/'[^\\']'/, "string"],
+      [/'/, "string.invalid"],
+      [/\#\d+/, "string"]
+    ],
+    /* */
+    comment: [
+      [/[^\(\*]+/, "comment"],
+      //[/\(\*/,    'comment', '@push' ],    // nested comment  not allowed :-(
+      [/\*\)/, "comment", "@pop"],
+      [/\(\*/, "comment"]
+    ],
+    string: [
+      [/[^\\']+/, "string"],
+      [/\\./, "string.escape.invalid"],
+      [/'/, { token: "string.quote", bracket: "@close", next: "@pop" }]
+    ],
+    whitespace: [
+      [/[ \t\r\n]+/, "white"],
+      [/\(\*/, "comment", "@comment"],
+      [/\/\/.*$/, "comment"]
+    ]
+  }
+};
+export {
+  e as conf,
+  o as language
+};