idris.go

Documentation: github.com/alecthomas/chroma/lexers/i

     1  package i
     2  
     3  import (
     4  	. "github.com/alecthomas/chroma" // nolint
     5  	"github.com/alecthomas/chroma/lexers/internal"
     6  )
     7  
     8  // Idris lexer.
     9  var Idris = internal.Register(MustNewLazyLexer(
    10  	&Config{
    11  		Name:      "Idris",
    12  		Aliases:   []string{"idris", "idr"},
    13  		Filenames: []string{"*.idr"},
    14  		MimeTypes: []string{"text/x-idris"},
    15  	},
    16  	idrisRules,
    17  ))
    18  
    19  func idrisRules() Rules {
    20  	return Rules{
    21  		"root": {
    22  			{`^(\s*)(%lib|link|flag|include|hide|freeze|access|default|logging|dynamic|name|error_handlers|language)`, ByGroups(Text, KeywordReserved), nil},
    23  			{`(\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$`, ByGroups(Text, CommentSingle), nil},
    24  			{`(\s*)(\|{3}.*?)$`, ByGroups(Text, CommentSingle), nil},
    25  			{`(\s*)(\{-)`, ByGroups(Text, CommentMultiline), Push("comment")},
    26  			{`^(\s*)([^\s(){}]+)(\s*)(:)(\s*)`, ByGroups(Text, NameFunction, Text, OperatorWord, Text), nil},
    27  			{`\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},
    28  			{`(import|module)(\s+)`, ByGroups(KeywordReserved, Text), Push("module")},
    29  			{`('')?[A-Z][\w\']*`, KeywordType, nil},
    30  			{`[a-z][\w\']*`, Text, nil},
    31  			{`(<-|::|->|=>|=)`, OperatorWord, nil},
    32  			{`([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)`, OperatorWord, nil},
    33  			{`\d+[eE][+-]?\d+`, LiteralNumberFloat, nil},
    34  			{`\d+\.\d+([eE][+-]?\d+)?`, LiteralNumberFloat, nil},
    35  			{`0[xX][\da-fA-F]+`, LiteralNumberHex, nil},
    36  			{`\d+`, LiteralNumberInteger, nil},
    37  			{`'`, LiteralStringChar, Push("character")},
    38  			{`"`, LiteralString, Push("string")},
    39  			{`[^\s(){}]+`, Text, nil},
    40  			{`\s+?`, Text, nil},
    41  		},
    42  		"module": {
    43  			{`\s+`, Text, nil},
    44  			{`([A-Z][\w.]*)(\s+)(\()`, ByGroups(NameNamespace, Text, Punctuation), Push("funclist")},
    45  			{`[A-Z][\w.]*`, NameNamespace, Pop(1)},
    46  		},
    47  		"funclist": {
    48  			{`\s+`, Text, nil},
    49  			{`[A-Z]\w*`, KeywordType, nil},
    50  			{`(_[\w\']+|[a-z][\w\']*)`, NameFunction, nil},
    51  			{`--.*$`, CommentSingle, nil},
    52  			{`\{-`, CommentMultiline, Push("comment")},
    53  			{`,`, Punctuation, nil},
    54  			{`[:!#$%&*+.\\/<=>?@^|~-]+`, Operator, nil},
    55  			{`\(`, Punctuation, Push("funclist", "funclist")},
    56  			{`\)`, Punctuation, Pop(2)},
    57  		},
    58  		"comment": {
    59  			{`[^-{}]+`, CommentMultiline, nil},
    60  			{`\{-`, CommentMultiline, Push()},
    61  			{`-\}`, CommentMultiline, Pop(1)},
    62  			{`[-{}]`, CommentMultiline, nil},
    63  		},
    64  		"character": {
    65  			{`[^\\']`, LiteralStringChar, nil},
    66  			{`\\`, LiteralStringEscape, Push("escape")},
    67  			{`'`, LiteralStringChar, Pop(1)},
    68  		},
    69  		"string": {
    70  			{`[^\\"]+`, LiteralString, nil},
    71  			{`\\`, LiteralStringEscape, Push("escape")},
    72  			{`"`, LiteralString, Pop(1)},
    73  		},
    74  		"escape": {
    75  			{`[abfnrtv"\'&\\]`, LiteralStringEscape, Pop(1)},
    76  			{`\^[][A-Z@^_]`, LiteralStringEscape, Pop(1)},
    77  			{`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)},
    78  			{`o[0-7]+`, LiteralStringEscape, Pop(1)},
    79  			{`x[\da-fA-F]+`, LiteralStringEscape, Pop(1)},
    80  			{`\d+`, LiteralStringEscape, Pop(1)},
    81  			{`\s+\\`, LiteralStringEscape, Pop(1)},
    82  		},
    83  	}
    84  }
    85
View as plain text