1package i
2
3import (
4 . "github.com/alecthomas/chroma" // nolint
5 "github.com/alecthomas/chroma/lexers/internal"
6)
7
8// Idris lexer.
9var Idris = internal.Register(MustNewLexer(
10 &Config{
11 Name: "Idris",
12 Aliases: []string{"idris", "idr"},
13 Filenames: []string{"*.idr"},
14 MimeTypes: []string{"text/x-idris"},
15 },
16 Rules{
17 "root": {
18 {`^(\s*)(%lib|link|flag|include|hide|freeze|access|default|logging|dynamic|name|error_handlers|language)`, ByGroups(Text, KeywordReserved), nil},
19 {`(\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$`, ByGroups(Text, CommentSingle), nil},
20 {`(\s*)(\|{3}.*?)$`, ByGroups(Text, CommentSingle), nil},
21 {`(\s*)(\{-)`, ByGroups(Text, CommentMultiline), Push("comment")},
22 {`^(\s*)([^\s(){}]+)(\s*)(:)(\s*)`, ByGroups(Text, NameFunction, Text, OperatorWord, Text), nil},
23 {`\b(case|class|data|default|using|do|else|if|in|infix[lr]?|instance|rewrite|auto|namespace|codata|mutual|private|public|abstract|total|partial|let|proof|of|then|static|where|_|with|pattern|term|syntax|prefix|postulate|parameters|record|dsl|impossible|implicit|tactics|intros|intro|compute|refine|exact|trivial)(?!\')\b`, KeywordReserved, nil},
24 {`(import|module)(\s+)`, ByGroups(KeywordReserved, Text), Push("module")},
25 {`('')?[A-Z][\w\']*`, KeywordType, nil},
26 {`[a-z][\w\']*`, Text, nil},
27 {`(<-|::|->|=>|=)`, OperatorWord, nil},
28 {`([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)`, OperatorWord, nil},
29 {`\d+[eE][+-]?\d+`, LiteralNumberFloat, nil},
30 {`\d+\.\d+([eE][+-]?\d+)?`, LiteralNumberFloat, nil},
31 {`0[xX][\da-fA-F]+`, LiteralNumberHex, nil},
32 {`\d+`, LiteralNumberInteger, nil},
33 {`'`, LiteralStringChar, Push("character")},
34 {`"`, LiteralString, Push("string")},
35 {`[^\s(){}]+`, Text, nil},
36 {`\s+?`, Text, nil},
37 },
38 "module": {
39 {`\s+`, Text, nil},
40 {`([A-Z][\w.]*)(\s+)(\()`, ByGroups(NameNamespace, Text, Punctuation), Push("funclist")},
41 {`[A-Z][\w.]*`, NameNamespace, Pop(1)},
42 },
43 "funclist": {
44 {`\s+`, Text, nil},
45 {`[A-Z]\w*`, KeywordType, nil},
46 {`(_[\w\']+|[a-z][\w\']*)`, NameFunction, nil},
47 {`--.*$`, CommentSingle, nil},
48 {`\{-`, CommentMultiline, Push("comment")},
49 {`,`, Punctuation, nil},
50 {`[:!#$%&*+.\\/<=>?@^|~-]+`, Operator, nil},
51 {`\(`, Punctuation, Push("funclist", "funclist")},
52 {`\)`, Punctuation, Pop(2)},
53 },
54 "comment": {
55 {`[^-{}]+`, CommentMultiline, nil},
56 {`\{-`, CommentMultiline, Push()},
57 {`-\}`, CommentMultiline, Pop(1)},
58 {`[-{}]`, CommentMultiline, nil},
59 },
60 "character": {
61 {`[^\\']`, LiteralStringChar, nil},
62 {`\\`, LiteralStringEscape, Push("escape")},
63 {`'`, LiteralStringChar, Pop(1)},
64 },
65 "string": {
66 {`[^\\"]+`, LiteralString, nil},
67 {`\\`, LiteralStringEscape, Push("escape")},
68 {`"`, LiteralString, Pop(1)},
69 },
70 "escape": {
71 {`[abfnrtv"\'&\\]`, LiteralStringEscape, Pop(1)},
72 {`\^[][A-Z@^_]`, LiteralStringEscape, Pop(1)},
73 {`NUL|SOH|[SE]TX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|S[OI]|DLE|DC[1-4]|NAK|SYN|ETB|CAN|EM|SUB|ESC|[FGRU]S|SP|DEL`, LiteralStringEscape, Pop(1)},
74 {`o[0-7]+`, LiteralStringEscape, Pop(1)},
75 {`x[\da-fA-F]+`, LiteralStringEscape, Pop(1)},
76 {`\d+`, LiteralStringEscape, Pop(1)},
77 {`\s+\\`, LiteralStringEscape, Pop(1)},
78 },
79 },
80))