Added support for Idris (#2755)

Author: KeenS

components.js

@@ -528,6 +528,12 @@
 			"title": "Icon",
 			"owner": "Golmote"
 		},
+		"idris": {
+			"title": "Idris",
+			"alias": "idr",
+			"owner": "KeenS",
+			"require": "haskell"
+		},
 		"ignore": {
 			"title": ".ignore",
 			"owner": "osipxd",

components.json

@@ -0,0 +1,13 @@
+Prism.languages.idris = Prism.languages.extend('haskell', {
+	'comment': {
+		pattern: /(?:(?:--|\|\|\|).*$|{-[\s\S]*?-})/m,
+	},
+	'keyword': /\b(?:Type|case|class|codata|constructor|corecord|data|do|dsl|else|export|if|implementation|implicit|import|impossible|in|infix|infixl|infixr|instance|interface|let|module|mutual|namespace|of|parameters|partial|postulate|private|proof|public|quoteGoal|record|rewrite|syntax|then|total|using|where|with)\b/,
+	'import-statement': {
+		pattern: /(^\s*)import\s+(?:[A-Z][\w']*)(?:\.[A-Z][\w']*)*/m,
+		lookbehind: true
+	},
+	'builtin': undefined
+});
+
+Prism.languages.idr = Prism.languages.idris;

components/prism-idris.js

@@ -0,0 +1,56 @@
+<h2>Comments</h2>
+<pre><code>-- Single line comment
+{- Multi-line
+comment -}</code></pre>
+
+<h2>Strings and characters</h2>
+<pre><code>'a'
+'\n'
+'\^A'
+'\^]'
+'\NUL'
+'\23'
+'\o75'
+'\xFE'</code></pre>
+
+<h2>Numbers</h2>
+<pre><code>42
+123.456
+123.456e-789
+1e+3
+0o74
+0XAF</code></pre>
+
+<h2>Larger example</h2>
+<pre><code>module Main
+
+import Data.Vect
+
+-- this is comment
+record Person where
+  constructor MkPerson2
+  age : Integer
+  name : String
+
+||| identity function
+id : a -> a
+id x = x
+
+{-
+Bool type can be defined in
+userland
+-}
+data Bool = True | False
+
+implementation Show Bool where
+  show True = "True"
+  show False = "False"
+
+not : Bool -> Bool
+not b = case b of
+          True  => False
+          False => True
+
+vect3 : Vect 3 Int
+vect3 = with Vect (1 :: 2 :: 3 :: Nil)
+</code></pre>

components/prism-idris.min.js

@@ -60,6 +60,7 @@
 		"handlebars": "markup-templating",
 		"haxe": "clike",
 		"hlsl": "c",
+		"idris": "haskell",
 		"java": "clike",
 		"javadoc": [
 			"markup",
@@ -186,6 +187,7 @@
 		"xls": "excel-formula",
 		"gamemakerlanguage": "gml",
 		"hs": "haskell",
+		"idr": "idris",
 		"gitignore": "ignore",
 		"hgignore": "ignore",
 		"npmignore": "ignore",

examples/prism-idris.html

@@ -89,6 +89,7 @@
 		"hpkp": "HTTP Public-Key-Pins",
 		"hsts": "HTTP Strict-Transport-Security",
 		"ichigojam": "IchigoJam",
+		"idr": "Idris",
 		"ignore": ".ignore",
 		"gitignore": ".gitignore",
 		"hgignore": ".hgignore",