prism-code-editor/dist/prism/languages/idris.js

Lightweight, extensible code editor component for the web using Prism

import { a as languages } from "../../core-8vQkh0Rd.js";
import { n as extend, r as insertBefore } from "../../language-D-vtM55V.js";
import { o as dotPunctuation } from "../../patterns-C0vJBvXO.js";
import "./haskell.js";
//#region src/prism/languages/idris.js
insertBefore(languages.idr = languages.idris = extend("hs", {
	"comment": /(?:(?:--|\|\|\|).*$|\{-[^]*?-\})/m,
	"keyword": /\b(?:Type|case|class|codata|constructor|corecord|data|do|dsl|else|export|if|implementation|implicit|import|impossible|in|infix[lr]?|instance|interface|let|module|mutual|namespace|of|parameters|partial|postulate|private|proof|public|quoteGoal|record|rewrite|syntax|then|total|using|where|with)\b/,
	"builtin": void 0
}), "keyword", { "import-statement": {
	pattern: /(^\s*import\s+)(?:[A-Z][\w']*)(?:\.[A-Z][\w']*)*/m,
	lookbehind: true,
	inside: dotPunctuation
} });
//#endregion

//# sourceMappingURL=idris.js.map