Unnamed repository; edit this file 'description' to name the repository.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
; Keywords
[
    "if"
    "then"
    "else"
    "let"
    "in"
 ] @keyword.control
(case) @keyword.control
(of) @keyword.control

(colon) @keyword.operator
(backslash) @keyword
(as) @keyword
(port) @keyword
(exposing) @keyword
(alias) @keyword
(infix) @keyword

(arrow) @keyword.operator
(dot) @keyword.operator

(port) @keyword

(type_annotation(lower_case_identifier) @function)
(port_annotation(lower_case_identifier) @function)
(file (value_declaration (function_declaration_left(lower_case_identifier) @function)))

(field name: (lower_case_identifier) @attribute)
(field_access_expr(lower_case_identifier) @attribute)

(operator_identifier) @keyword.operator
(eq) @keyword.operator.assignment

[
  "("
  ")"
  "["
  "]"
  "{"
  "}"
] @punctuation.bracket

"|" @keyword
"," @punctuation.delimiter

[
  "|>"
] @keyword


(import) @keyword.control.import
(module) @keyword.other

(number_constant_expr) @constant.numeric

(type) @type

(type_declaration(upper_case_identifier) @type)
(type_ref) @type
(type_alias_declaration name: (upper_case_identifier) @type)

(union_pattern constructor: (upper_case_qid (upper_case_identifier) @label (dot) (upper_case_identifier) @variable.other.member)) 
(union_pattern constructor: (upper_case_qid (upper_case_identifier) @variable.other.member)) 

(union_variant(upper_case_identifier) @variable.other.member)
(value_expr name: (value_qid (upper_case_identifier) @label))
(value_expr (upper_case_qid (upper_case_identifier) @label (dot) (upper_case_identifier) @variable.other.member))
(value_expr(upper_case_qid(upper_case_identifier)) @variable.other.member)

; comments
(line_comment) @comment
(block_comment) @comment

; strings
(string_escape) @constant.character.escape

(open_quote) @string
(close_quote) @string
(regular_string_part) @string

(open_char) @constant.character
(close_char) @constant.character
ot; = "purple" "constructor" = "shade07" "constant" = "darker_blue" "constant.builtin.boolean" = "blue" "constant.character" = "blue" "constant.character.escape" = "dark_red" "constant.numeric" = "blue" "string" = "green" "string.regexp" = "blue" "string.special" = { fg = "dark_red", modifiers = ["underlined"] } "comment" = "comment_gray" "variable" = "green_blue" "variable.builtin" = { fg = "darker_blue" } "variable.parameter" = "purple" "variable.other.member" = "purple" "label" = { fg = "darker_blue", modifiers = ["underlined"] } "punctuation" = "shade06" "keyword" = "darker_blue" "keyword.control.exception" = "darker_blue" "operator" = "shade06" "function" = "shade07" "function.macro" = "yellow" "function.builtin" = { fg = "shade07", modifiers = ["italic"] } "function.special" = "dark_red" "function.method" = "dark_yellow" "tag" = "darker_blue" "special" = "shade06" "namespace" = "darker_blue" "markup.bold" = { fg = "shade06", modifiers = ["bold"] } "markup.italic" = { fg = "shade06", modifiers = ["italic"] } "markup.strikethrough" = { fg = "shade06", modifiers = ["crossed_out"] } "markup.heading" = { fg = "purple" } "markup.list" = "darker_blue" "markup.list.numbered" = "darker_blue" "markup.list.unnumbered" = "darker_blue" "markup.link.url" = "shade06" "markup.link.text" = { fg = "dark_blue", modifiers = ['underlined'] } "markup.link.label" = "dark_blue" "markup.quote" = "green" "markup.raw" = "green" "markup.raw.inline" = "green" "markup.raw.block" = "green" "diff.plus" = "green" "diff.plus.gutter" = "gutter_green" "diff.minus" = "red" "diff.minus.gutter" = "gutter_red" "diff.delta" = "blue" "diff.delta.gutter" = "gutter_blue" # ui specific "ui.background" = { bg = "shade00" } "ui.cursor" = { bg = "shade02" } "ui.cursor.primary" = { bg = "cursor_blue" } "ui.cursor.match" = { fg = "shade00", bg = "shade04" } "ui.cursor.primary.select" = { bg = "light_purple" } "ui.cursor.primary.insert" = { bg = "light_green" } "ui.selection" = { bg = "lighter_blue" } "ui.selection.primary" = { bg = "lighter_blue" } "ui.highlight" = { bg = "faint_blue" } "ui.cursorline.primary" = { bg = "faint_blue" } "ui.linenr" = { fg = "shade03" } "ui.linenr.selected" = { fg = "shade04", bg = "faint_blue", modifiers = [ "bold", ] } "ui.statusline" = { fg = "shade06", bg = "shade02" } "ui.statusline.inactive" = { fg = "shade04", bg = "shade01" } "ui.statusline.normal" = { fg = "shade00", bg = "blue" } "ui.statusline.insert" = { fg = "shade00", bg = "green" } "ui.statusline.select" = { fg = "shade00", bg = "purple" } "ui.popup" = { bg = "shade01", fg = "shade04" } "ui.window" = { bg = "shade00", fg = "shade04" } "ui.help" = { fg = "shade06", bg = "shade01" } "ui.text" = "shade05" "ui.text.focus" = { fg = "shade07", bg = "light_blue" } "ui.virtual" = "shade03" "ui.virtual.ruler" = { bg = "shade01" } "ui.virtual.inlay-hint" = { fg = "shade03_darker" } "ui.virtual.jump-label" = { fg = "shade07", bg = "shade01", modifiers = ["bold" ] } "ui.menu" = { fg = "shade05", bg = "shade01" } "ui.menu.selected" = { fg = "shade07", bg = "light_blue" } "hint" = "shade04" "info" = "light_blue" "warning" = "orange" "error" = "red" "diagnostic" = { modifiers = [] } "diagnostic.hint" = { underline = { color = "shade04", style = "line" } } "diagnostic.info" = { underline = { color = "light_blue", style = "line" } } "diagnostic.warning" = { underline = { color = "orange", style = "curl" } } "diagnostic.error" = { underline = { color = "red", style = "curl" } } "diagnostic.unnecessary" = { modifiers = ["dim"] } "diagnostic.deprecated" = { modifiers = ["crossed_out"] } [palette] shade00 = "#f2f3f7" shade01 = "#dadde8" shade02 = "#c1c6d9" shade03 = "#a9b0ca" shade04 = "#525c85" shade05 = "#434b6c" shade06 = "#343a54" shade07 = "#25293c" shade03_darker = "#9199bb" shade04_lighter = "#616d9d" background = "#f2f3f7" foreground = "#25293c" comment_gray = "#808080" gutter_blue = "#C3D6E8" faint_blue = "#E8Eef1" lighter_blue = "#d0eaff" light_blue = "#99ccff" cursor_blue = "#80bfff" blue = "#0073E6" dark_blue = "#185b93" darker_blue = "#000080" purple = "#660E7A" light_purple = "#ED9CFF" gutter_green = "#C9DEC1" green = "#00733B" light_green = "#5DCE87" green_blue = "#458383" yellow = "#808000" dark_yellow = "#7A7A43" light_orange = "#f9c881" orange = "#F49810" gutter_red = "#EBBCBC" red = "#d90016" dark_red = "#7F0000"