@threadlabs/looma 0.18.6 → 0.19.0

package/vue/chunks/coffeescript.js

@@ -0,0 +1,291 @@
+//#region ../../node_modules/.pnpm/highlight.js@11.11.2/node_modules/highlight.js/es/languages/coffeescript.js
+var KEYWORDS = [
+	"as",
+	"in",
+	"of",
+	"if",
+	"for",
+	"while",
+	"finally",
+	"var",
+	"new",
+	"function",
+	"do",
+	"return",
+	"void",
+	"else",
+	"break",
+	"catch",
+	"instanceof",
+	"with",
+	"throw",
+	"case",
+	"default",
+	"try",
+	"switch",
+	"continue",
+	"typeof",
+	"delete",
+	"let",
+	"yield",
+	"const",
+	"class",
+	"debugger",
+	"async",
+	"await",
+	"static",
+	"import",
+	"from",
+	"export",
+	"extends",
+	"using"
+];
+var LITERALS = [
+	"true",
+	"false",
+	"null",
+	"undefined",
+	"NaN",
+	"Infinity"
+];
+var BUILT_INS = [].concat([
+	"setInterval",
+	"setTimeout",
+	"clearInterval",
+	"clearTimeout",
+	"require",
+	"exports",
+	"eval",
+	"isFinite",
+	"isNaN",
+	"parseFloat",
+	"parseInt",
+	"decodeURI",
+	"decodeURIComponent",
+	"encodeURI",
+	"encodeURIComponent",
+	"escape",
+	"unescape"
+], [
+	"Object",
+	"Function",
+	"Boolean",
+	"Symbol",
+	"Math",
+	"Date",
+	"Number",
+	"BigInt",
+	"String",
+	"RegExp",
+	"Array",
+	"Float32Array",
+	"Float64Array",
+	"Int8Array",
+	"Uint8Array",
+	"Uint8ClampedArray",
+	"Int16Array",
+	"Int32Array",
+	"Uint16Array",
+	"Uint32Array",
+	"BigInt64Array",
+	"BigUint64Array",
+	"Set",
+	"Map",
+	"WeakSet",
+	"WeakMap",
+	"ArrayBuffer",
+	"SharedArrayBuffer",
+	"Atomics",
+	"DataView",
+	"JSON",
+	"Promise",
+	"Generator",
+	"GeneratorFunction",
+	"AsyncFunction",
+	"Reflect",
+	"Proxy",
+	"Intl",
+	"WebAssembly"
+], [
+	"Error",
+	"EvalError",
+	"InternalError",
+	"RangeError",
+	"ReferenceError",
+	"SyntaxError",
+	"TypeError",
+	"URIError"
+]);
+/** @type LanguageFn */
+function coffeescript(hljs) {
+	const COFFEE_BUILT_INS = ["npm", "print"];
+	const COFFEE_LITERALS = [
+		"yes",
+		"no",
+		"on",
+		"off"
+	];
+	const COFFEE_KEYWORDS = [
+		"then",
+		"unless",
+		"until",
+		"loop",
+		"by",
+		"when",
+		"and",
+		"or",
+		"is",
+		"isnt",
+		"not"
+	];
+	const NOT_VALID_KEYWORDS = [
+		"var",
+		"const",
+		"let",
+		"function",
+		"static"
+	];
+	const excluding = (list) => (kw) => !list.includes(kw);
+	const KEYWORDS$1 = {
+		keyword: KEYWORDS.concat(COFFEE_KEYWORDS).filter(excluding(NOT_VALID_KEYWORDS)),
+		literal: LITERALS.concat(COFFEE_LITERALS),
+		built_in: BUILT_INS.concat(COFFEE_BUILT_INS)
+	};
+	const JS_IDENT_RE = "[A-Za-z$_][0-9A-Za-z$_]*";
+	const SUBST = {
+		className: "subst",
+		begin: /#\{/,
+		end: /\}/,
+		keywords: KEYWORDS$1
+	};
+	const EXPRESSIONS = [
+		hljs.BINARY_NUMBER_MODE,
+		hljs.inherit(hljs.C_NUMBER_MODE, { starts: {
+			end: "(\\s*/)?",
+			relevance: 0
+		} }),
+		{
+			className: "string",
+			variants: [
+				{
+					begin: /'''/,
+					end: /'''/,
+					contains: [hljs.BACKSLASH_ESCAPE]
+				},
+				{
+					begin: /'/,
+					end: /'/,
+					contains: [hljs.BACKSLASH_ESCAPE]
+				},
+				{
+					begin: /"""/,
+					end: /"""/,
+					contains: [hljs.BACKSLASH_ESCAPE, SUBST]
+				},
+				{
+					begin: /"/,
+					end: /"/,
+					contains: [hljs.BACKSLASH_ESCAPE, SUBST]
+				}
+			]
+		},
+		{
+			className: "regexp",
+			variants: [
+				{
+					begin: "///",
+					end: "///",
+					contains: [SUBST, hljs.HASH_COMMENT_MODE]
+				},
+				{
+					begin: "//[gim]{0,3}(?=\\W)",
+					relevance: 0
+				},
+				{ begin: /\/(?![ *]).*?(?![\\]).\/[gim]{0,3}(?=\W)/ }
+			]
+		},
+		{ begin: "@" + JS_IDENT_RE },
+		{
+			subLanguage: "javascript",
+			excludeBegin: true,
+			excludeEnd: true,
+			variants: [{
+				begin: "```",
+				end: "```"
+			}, {
+				begin: "`",
+				end: "`"
+			}]
+		}
+	];
+	SUBST.contains = EXPRESSIONS;
+	const TITLE = hljs.inherit(hljs.TITLE_MODE, { begin: JS_IDENT_RE });
+	const POSSIBLE_PARAMS_RE = "(\\(.*\\)\\s*)?\\B[-=]>";
+	const PARAMS = {
+		className: "params",
+		begin: "\\([^\\(]",
+		returnBegin: true,
+		contains: [{
+			begin: /\(/,
+			end: /\)/,
+			keywords: KEYWORDS$1,
+			contains: ["self"].concat(EXPRESSIONS)
+		}]
+	};
+	const CLASS_DEFINITION = {
+		variants: [{ match: [
+			/class\s+/,
+			JS_IDENT_RE,
+			/\s+extends\s+/,
+			JS_IDENT_RE
+		] }, { match: [/class\s+/, JS_IDENT_RE] }],
+		scope: {
+			2: "title.class",
+			4: "title.class.inherited"
+		},
+		keywords: KEYWORDS$1
+	};
+	return {
+		name: "CoffeeScript",
+		aliases: [
+			"coffee",
+			"cson",
+			"iced"
+		],
+		keywords: KEYWORDS$1,
+		illegal: /\/\*/,
+		contains: [
+			...EXPRESSIONS,
+			hljs.COMMENT("###", "###"),
+			hljs.HASH_COMMENT_MODE,
+			{
+				className: "function",
+				begin: "^\\s*" + JS_IDENT_RE + "\\s*=\\s*" + POSSIBLE_PARAMS_RE,
+				end: "[-=]>",
+				returnBegin: true,
+				contains: [TITLE, PARAMS]
+			},
+			{
+				begin: /[:\(,=]\s*/,
+				relevance: 0,
+				contains: [{
+					className: "function",
+					begin: POSSIBLE_PARAMS_RE,
+					end: "[-=]>",
+					returnBegin: true,
+					contains: [PARAMS]
+				}]
+			},
+			CLASS_DEFINITION,
+			{
+				begin: JS_IDENT_RE + ":",
+				end: ":",
+				returnBegin: true,
+				returnEnd: true,
+				relevance: 0
+			}
+		]
+	};
+}
+//#endregion
+export { coffeescript as default };

package/vue/chunks/coq.js

@@ -0,0 +1,436 @@
+//#region ../../node_modules/.pnpm/highlight.js@11.11.2/node_modules/highlight.js/es/languages/coq.js
+/** @type LanguageFn */
+function coq(hljs) {
+	return {
+		name: "Coq",
+		keywords: {
+			keyword: [
+				"_|0",
+				"as",
+				"at",
+				"cofix",
+				"else",
+				"end",
+				"exists",
+				"exists2",
+				"fix",
+				"for",
+				"forall",
+				"fun",
+				"if",
+				"IF",
+				"in",
+				"let",
+				"match",
+				"mod",
+				"Prop",
+				"return",
+				"Set",
+				"then",
+				"Type",
+				"using",
+				"where",
+				"with",
+				"Abort",
+				"About",
+				"Add",
+				"Admit",
+				"Admitted",
+				"All",
+				"Arguments",
+				"Assumptions",
+				"Axiom",
+				"Back",
+				"BackTo",
+				"Backtrack",
+				"Bind",
+				"Blacklist",
+				"Canonical",
+				"Cd",
+				"Check",
+				"Class",
+				"Classes",
+				"Close",
+				"Coercion",
+				"Coercions",
+				"CoFixpoint",
+				"CoInductive",
+				"Collection",
+				"Combined",
+				"Compute",
+				"Conjecture",
+				"Conjectures",
+				"Constant",
+				"constr",
+				"Constraint",
+				"Constructors",
+				"Context",
+				"Corollary",
+				"CreateHintDb",
+				"Cut",
+				"Declare",
+				"Defined",
+				"Definition",
+				"Delimit",
+				"Dependencies",
+				"Dependent",
+				"Derive",
+				"Drop",
+				"eauto",
+				"End",
+				"Equality",
+				"Eval",
+				"Example",
+				"Existential",
+				"Existentials",
+				"Existing",
+				"Export",
+				"exporting",
+				"Extern",
+				"Extract",
+				"Extraction",
+				"Fact",
+				"Field",
+				"Fields",
+				"File",
+				"Fixpoint",
+				"Focus",
+				"for",
+				"From",
+				"Function",
+				"Functional",
+				"Generalizable",
+				"Global",
+				"Goal",
+				"Grab",
+				"Grammar",
+				"Graph",
+				"Guarded",
+				"Heap",
+				"Hint",
+				"HintDb",
+				"Hints",
+				"Hypotheses",
+				"Hypothesis",
+				"ident",
+				"Identity",
+				"If",
+				"Immediate",
+				"Implicit",
+				"Import",
+				"Include",
+				"Inductive",
+				"Infix",
+				"Info",
+				"Initial",
+				"Inline",
+				"Inspect",
+				"Instance",
+				"Instances",
+				"Intro",
+				"Intros",
+				"Inversion",
+				"Inversion_clear",
+				"Language",
+				"Left",
+				"Lemma",
+				"Let",
+				"Libraries",
+				"Library",
+				"Load",
+				"LoadPath",
+				"Local",
+				"Locate",
+				"Ltac",
+				"ML",
+				"Mode",
+				"Module",
+				"Modules",
+				"Monomorphic",
+				"Morphism",
+				"Next",
+				"NoInline",
+				"Notation",
+				"Obligation",
+				"Obligations",
+				"Opaque",
+				"Open",
+				"Optimize",
+				"Options",
+				"Parameter",
+				"Parameters",
+				"Parametric",
+				"Path",
+				"Paths",
+				"pattern",
+				"Polymorphic",
+				"Preterm",
+				"Print",
+				"Printing",
+				"Program",
+				"Projections",
+				"Proof",
+				"Proposition",
+				"Pwd",
+				"Qed",
+				"Quit",
+				"Rec",
+				"Record",
+				"Recursive",
+				"Redirect",
+				"Relation",
+				"Remark",
+				"Remove",
+				"Require",
+				"Reserved",
+				"Reset",
+				"Resolve",
+				"Restart",
+				"Rewrite",
+				"Right",
+				"Ring",
+				"Rings",
+				"Save",
+				"Scheme",
+				"Scope",
+				"Scopes",
+				"Script",
+				"Search",
+				"SearchAbout",
+				"SearchHead",
+				"SearchPattern",
+				"SearchRewrite",
+				"Section",
+				"Separate",
+				"Set",
+				"Setoid",
+				"Show",
+				"Solve",
+				"Sorted",
+				"Step",
+				"Strategies",
+				"Strategy",
+				"Structure",
+				"SubClass",
+				"Table",
+				"Tables",
+				"Tactic",
+				"Term",
+				"Test",
+				"Theorem",
+				"Time",
+				"Timeout",
+				"Transparent",
+				"Type",
+				"Typeclasses",
+				"Types",
+				"Undelimit",
+				"Undo",
+				"Unfocus",
+				"Unfocused",
+				"Unfold",
+				"Universe",
+				"Universes",
+				"Unset",
+				"Unshelve",
+				"using",
+				"Variable",
+				"Variables",
+				"Variant",
+				"Verbose",
+				"Visibility",
+				"where",
+				"with"
+			],
+			built_in: [
+				"abstract",
+				"absurd",
+				"admit",
+				"after",
+				"apply",
+				"as",
+				"assert",
+				"assumption",
+				"at",
+				"auto",
+				"autorewrite",
+				"autounfold",
+				"before",
+				"bottom",
+				"btauto",
+				"by",
+				"case",
+				"case_eq",
+				"cbn",
+				"cbv",
+				"change",
+				"classical_left",
+				"classical_right",
+				"clear",
+				"clearbody",
+				"cofix",
+				"compare",
+				"compute",
+				"congruence",
+				"constr_eq",
+				"constructor",
+				"contradict",
+				"contradiction",
+				"cut",
+				"cutrewrite",
+				"cycle",
+				"decide",
+				"decompose",
+				"dependent",
+				"destruct",
+				"destruction",
+				"dintuition",
+				"discriminate",
+				"discrR",
+				"do",
+				"double",
+				"dtauto",
+				"eapply",
+				"eassumption",
+				"eauto",
+				"ecase",
+				"econstructor",
+				"edestruct",
+				"ediscriminate",
+				"eelim",
+				"eexact",
+				"eexists",
+				"einduction",
+				"einjection",
+				"eleft",
+				"elim",
+				"elimtype",
+				"enough",
+				"equality",
+				"erewrite",
+				"eright",
+				"esimplify_eq",
+				"esplit",
+				"evar",
+				"exact",
+				"exactly_once",
+				"exfalso",
+				"exists",
+				"f_equal",
+				"fail",
+				"field",
+				"field_simplify",
+				"field_simplify_eq",
+				"first",
+				"firstorder",
+				"fix",
+				"fold",
+				"fourier",
+				"functional",
+				"generalize",
+				"generalizing",
+				"gfail",
+				"give_up",
+				"has_evar",
+				"hnf",
+				"idtac",
+				"in",
+				"induction",
+				"injection",
+				"instantiate",
+				"intro",
+				"intro_pattern",
+				"intros",
+				"intuition",
+				"inversion",
+				"inversion_clear",
+				"is_evar",
+				"is_var",
+				"lapply",
+				"lazy",
+				"left",
+				"lia",
+				"lra",
+				"move",
+				"native_compute",
+				"nia",
+				"nsatz",
+				"omega",
+				"once",
+				"pattern",
+				"pose",
+				"progress",
+				"proof",
+				"psatz",
+				"quote",
+				"record",
+				"red",
+				"refine",
+				"reflexivity",
+				"remember",
+				"rename",
+				"repeat",
+				"replace",
+				"revert",
+				"revgoals",
+				"rewrite",
+				"rewrite_strat",
+				"right",
+				"ring",
+				"ring_simplify",
+				"rtauto",
+				"set",
+				"setoid_reflexivity",
+				"setoid_replace",
+				"setoid_rewrite",
+				"setoid_symmetry",
+				"setoid_transitivity",
+				"shelve",
+				"shelve_unifiable",
+				"simpl",
+				"simple",
+				"simplify_eq",
+				"solve",
+				"specialize",
+				"split",
+				"split_Rabs",
+				"split_Rmult",
+				"stepl",
+				"stepr",
+				"subst",
+				"sum",
+				"swap",
+				"symmetry",
+				"tactic",
+				"tauto",
+				"time",
+				"timeout",
+				"top",
+				"transitivity",
+				"trivial",
+				"try",
+				"tryif",
+				"unfold",
+				"unify",
+				"until",
+				"using",
+				"vm_compute",
+				"with"
+			]
+		},
+		contains: [
+			hljs.QUOTE_STRING_MODE,
+			hljs.COMMENT("\\(\\*", "\\*\\)"),
+			hljs.C_NUMBER_MODE,
+			{
+				className: "type",
+				excludeBegin: true,
+				begin: "\\|\\s*",
+				end: "\\w+"
+			},
+			{ begin: /[-=]>/ }
+		]
+	};
+}
+//#endregion
+export { coq as default };