2023-09-17 20:50:58 +04:00
|
|
|
; ----------------------------------------------------------------------------
|
|
|
|
; Literals and comments
|
|
|
|
|
|
|
|
(integer) @constant.numeric.integer
|
|
|
|
(exp_negation) @constant.numeric.integer
|
2023-11-05 17:16:25 +04:00
|
|
|
(exp_literal (number)) @constant.numeric.float
|
2023-09-17 20:50:58 +04:00
|
|
|
(char) @constant.character
|
2024-01-29 09:13:40 +04:00
|
|
|
|
2023-10-13 19:08:27 +04:00
|
|
|
[
|
|
|
|
(string)
|
|
|
|
(triple_quote_string)
|
|
|
|
] @string
|
2023-09-17 20:50:58 +04:00
|
|
|
|
|
|
|
(comment) @comment
|
|
|
|
|
|
|
|
; ----------------------------------------------------------------------------
|
|
|
|
; Punctuation
|
|
|
|
|
|
|
|
[
|
|
|
|
"("
|
|
|
|
")"
|
|
|
|
"{"
|
|
|
|
"}"
|
|
|
|
"["
|
|
|
|
"]"
|
|
|
|
] @punctuation.bracket
|
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
(comma) @punctuation.delimiter
|
2023-09-17 20:50:58 +04:00
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
; ----------------------------------------------------------------------------
|
|
|
|
; Types
|
|
|
|
|
|
|
|
(type) @type
|
|
|
|
|
|
|
|
(constructor) @constructor
|
2023-09-17 20:50:58 +04:00
|
|
|
|
|
|
|
; ----------------------------------------------------------------------------
|
|
|
|
; Keywords, operators, includes
|
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
(module) @namespace
|
2023-11-05 17:16:25 +04:00
|
|
|
|
2023-09-17 20:50:58 +04:00
|
|
|
[
|
|
|
|
"if"
|
|
|
|
"then"
|
|
|
|
"else"
|
|
|
|
"case"
|
|
|
|
"of"
|
|
|
|
] @keyword.control.conditional
|
|
|
|
|
|
|
|
[
|
|
|
|
"import"
|
|
|
|
"module"
|
|
|
|
] @keyword.control.import
|
|
|
|
|
|
|
|
[
|
|
|
|
(operator)
|
|
|
|
(constructor_operator)
|
|
|
|
(type_operator)
|
|
|
|
(qualified_module) ; grabs the `.` (dot), ex: import System.IO
|
|
|
|
(all_names)
|
2023-11-05 17:16:25 +04:00
|
|
|
|
|
|
|
; `_` wildcards in if-then-else and case-of expressions,
|
|
|
|
; as well as record updates and operator sections
|
|
|
|
(wildcard)
|
2023-09-17 20:50:58 +04:00
|
|
|
"="
|
|
|
|
"|"
|
|
|
|
"::"
|
2023-09-21 02:26:40 +04:00
|
|
|
"∷"
|
2023-09-17 20:50:58 +04:00
|
|
|
"=>"
|
2023-09-21 02:26:40 +04:00
|
|
|
"⇒"
|
2023-11-05 17:16:25 +04:00
|
|
|
"<="
|
|
|
|
"⇐"
|
2023-09-17 20:50:58 +04:00
|
|
|
"->"
|
2023-09-21 02:26:40 +04:00
|
|
|
"→"
|
2023-09-17 20:50:58 +04:00
|
|
|
"<-"
|
2023-09-21 02:26:40 +04:00
|
|
|
"←"
|
2023-09-17 20:50:58 +04:00
|
|
|
"\\"
|
|
|
|
"`"
|
|
|
|
"@"
|
|
|
|
] @operator
|
|
|
|
|
|
|
|
(qualified_module (module) @constructor)
|
|
|
|
(qualified_type (module) @namespace)
|
|
|
|
(qualified_variable (module) @namespace)
|
|
|
|
(import (module) @namespace)
|
|
|
|
|
|
|
|
[
|
|
|
|
(where)
|
|
|
|
"let"
|
|
|
|
"in"
|
|
|
|
"class"
|
|
|
|
"instance"
|
|
|
|
"derive"
|
|
|
|
"foreign"
|
|
|
|
"data"
|
|
|
|
"newtype"
|
|
|
|
"type"
|
|
|
|
"as"
|
2023-11-05 17:16:25 +04:00
|
|
|
"hiding"
|
2023-09-17 20:50:58 +04:00
|
|
|
"do"
|
|
|
|
"ado"
|
|
|
|
"forall"
|
|
|
|
"∀"
|
|
|
|
"infix"
|
|
|
|
"infixl"
|
|
|
|
"infixr"
|
|
|
|
] @keyword
|
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
; NOTE
|
|
|
|
; Needs to come after the other `else` in
|
|
|
|
; order to be highlighted correctly
|
|
|
|
(class_instance "else" @keyword)
|
|
|
|
|
2023-11-05 17:16:25 +04:00
|
|
|
(type_role_declaration
|
|
|
|
"role" @keyword
|
|
|
|
role: (type_role) @keyword)
|
|
|
|
|
|
|
|
(hole) @label
|
2023-09-17 20:50:58 +04:00
|
|
|
|
|
|
|
; ----------------------------------------------------------------------------
|
|
|
|
; Functions and variables
|
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
(variable) @variable
|
|
|
|
|
2023-11-05 17:16:25 +04:00
|
|
|
(row_field (field_name) @variable.other.member)
|
|
|
|
(record_field (field_name) @variable.other.member)
|
2023-11-18 05:24:59 +04:00
|
|
|
(record_field (field_pun) @variable.other.member)
|
2023-11-05 17:16:25 +04:00
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
; NOTE
|
|
|
|
; Record fields must come after literal strings and
|
|
|
|
; plain variables in order to be highlighted correctly
|
|
|
|
(record_accessor
|
|
|
|
field: [ (variable)
|
|
|
|
(string)
|
|
|
|
(triple_quote_string)
|
|
|
|
] @variable.other.member)
|
|
|
|
|
|
|
|
(exp_record_access
|
|
|
|
field: [ (variable)
|
|
|
|
(string)
|
|
|
|
(triple_quote_string)
|
|
|
|
] @variable.other.member)
|
|
|
|
|
2023-09-17 20:50:58 +04:00
|
|
|
(signature name: (variable) @type)
|
|
|
|
(function name: (variable) @function)
|
2023-11-05 17:16:25 +04:00
|
|
|
(class_instance (instance_name) @function)
|
|
|
|
(derive_declaration (instance_name) @function)
|
2023-09-17 20:50:58 +04:00
|
|
|
|
|
|
|
; true or false
|
2023-11-18 05:24:59 +04:00
|
|
|
((variable) @constant.builtin.boolean
|
|
|
|
(#match? @constant.builtin.boolean "^(true|false)$"))
|
2023-09-17 20:50:58 +04:00
|
|
|
|
2023-11-05 17:16:25 +04:00
|
|
|
; The former one works for `tree-sitter highlight` but not in Helix/Kakoune.
|
|
|
|
; The latter two work in Helix (but not Kakoune) and are a good compromise between not highlighting anything at all
|
|
|
|
; as an operator and leaving it to the child nodes, and highlighting everything as an operator.
|
|
|
|
(exp_ticked (_) @operator)
|
|
|
|
(exp_ticked (exp_name (variable) @operator))
|
|
|
|
(exp_ticked (exp_name (qualified_variable (variable) @operator)))
|
2023-09-17 20:50:58 +04:00
|
|
|
|
2024-01-29 09:13:40 +04:00
|
|
|
(patterns (pat_as "@" @namespace))
|
2023-09-17 20:50:58 +04:00
|
|
|
|