/
text.tex.latex.haskell.js
1222 lines (1221 loc) · 53.5 KB
/
text.tex.latex.haskell.js
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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
// This is a TextMate grammar distributed by `starry-night`.
// This grammar is developed at
// <https://github.com/atom-haskell/language-haskell>
// and licensed `mit`.
// See <https://github.com/wooorm/starry-night> for more info.
/** @type {import('../lib/index.js').Grammar} */
const grammar = {
dependencies: ['source.haskell', 'text.tex.latex'],
extensions: ['.lhs'],
names: ['literate-haskell', 'lhaskell', 'lhs'],
patterns: [
{
begin: '^((\\\\)begin)({)(code|spec)(})(\\s*$)?',
beginCaptures: {
1: {name: 'support.function.be.latex.haskell'},
2: {name: 'punctuation.definition.function.latex.haskell'},
3: {name: 'punctuation.definition.arguments.begin.latex.haskell'},
5: {name: 'punctuation.definition.arguments.end.latex.haskell'}
},
contentName: 'source.haskell.embedded.latex.haskell',
end: '^((\\\\)end)({)\\4(})',
endCaptures: {
1: {name: 'support.function.be.latex.haskell'},
2: {name: 'punctuation.definition.function.latex.haskell'},
3: {name: 'punctuation.definition.arguments.begin.latex.haskell'},
4: {name: 'punctuation.definition.arguments.end.latex.haskell'}
},
name: 'meta.embedded.block.haskell.latex.haskell',
patterns: [{include: 'source.haskell'}]
},
{
begin: '^(?=[><] )',
end: '^(?![><] )',
name: 'meta.embedded.haskell',
patterns: [
{include: '#haskell_source'},
{match: '^> ', name: 'punctuation.definition.bird-track.haskell'}
]
},
{
captures: {1: {patterns: [{include: 'source.haskell'}]}},
match: '(?<!\\\\verb)\\|((:?[^|]|\\|\\|)+)\\|',
name: 'meta.embedded.text.haskell.latex.haskell'
},
{include: 'text.tex.latex'}
],
repository: {
arrow: {
patterns: [
{
match:
'(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:->|→)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|]))))',
name: 'keyword.other.arrow.haskell'
}
]
},
assignment_op: {
patterns: [
{
captures: {0: {name: 'keyword.operator.assignment.haskell'}},
match: '='
}
]
},
attribute_name: {
patterns: [
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'entity.other.attribute-name.haskell'
}
]
},
big_arrow: {
patterns: [
{
match:
'(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:=>|⇒)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|]))))',
name: 'keyword.other.big-arrow.haskell'
}
]
},
block_comment: {
patterns: [
{
applyEndPatternLast: true,
begin: '\\{-\\s*[|^]',
beginCaptures: {
0: {name: 'punctuation.definition.comment.haddock.haskell'}
},
end: '-\\}',
endCaptures: {
0: {name: 'punctuation.definition.comment.haddock.haskell'}
},
name: 'comment.block.haddock.haskell',
patterns: [{include: '#block_comment'}]
},
{
applyEndPatternLast: true,
begin: '\\{-',
beginCaptures: {
0: {name: 'punctuation.definition.comment.block.start.haskell'}
},
end: '-\\}',
endCaptures: {
0: {name: 'punctuation.definition.comment.block.end.haskell'}
},
name: 'comment.block.haskell',
patterns: [{include: '#block_comment'}]
}
]
},
c_preprocessor: {
patterns: [
{
begin: '^(?:>|<) (?=#)',
end: '(?<!\\\\)(?=$)',
name: 'meta.preprocessor.c.haskell',
patterns: [{match: '^#\\S+', name: 'keyword.control.c.haskell'}]
}
]
},
characters: {
patterns: [
{
match:
'\\\\(?:NUL|SOH|STX|ETX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|SO|SI|DLE|DC1|DC2|DC3|DC4|NAK|SYN|ETB|CAN|EM|SUB|ESC|FS|GS|RS|US|SP|DEL|[abfnrtv\\\\\\"\'\\&])',
name: 'constant.character.escape.haskell'
},
{
match: '(?:\\\\o[0-7]+)',
name: 'constant.character.escape.octal.haskell'
},
{
match: '(?:\\\\x[0-9A-Fa-f]+)',
name: 'constant.character.escape.hexadecimal.haskell'
},
{
match: '(?:\\\\\\^[A-Z@\\[\\]\\\\^_])',
name: 'constant.character.escape.control.haskell'
}
]
},
class_decl: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(class)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {2: {name: 'keyword.other.class.haskell'}},
end: "(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(where)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))|^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )",
endCaptures: {1: {name: 'keyword.other.haskell'}},
name: 'meta.declaration.class.haskell',
patterns: [{include: '#type_signature'}]
}
]
},
comma: {
patterns: [{match: ',', name: 'punctuation.separator.comma.haskell'}]
},
comments: {
patterns: [
{
begin: '(^(?:>|<) [ \\t]+)?(?=--+\\s+[|^])',
end: '(?!\\G)',
patterns: [
{
begin: '(--+)\\s+([|^])(.*)',
beginCaptures: {
1: {name: 'punctuation.definition.comment.haskell'},
2: {name: 'punctuation.definition.comment.haddock.haskell'},
3: {name: 'comment.line.double-dash.haddock.haskell'}
},
end: '^(?!--+)',
patterns: [
{
captures: {
1: {name: 'punctuation.definition.comment.haskell'},
2: {name: 'comment.line.double-dash.haddock.haskell'}
},
match: '^(--+)(.*)'
}
]
}
]
},
{
begin:
'(^(?:>|<) [ \\t]+)?(?=--+(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|]))))',
end: '(?!\\G)',
patterns: [
{
begin: '--+',
beginCaptures: {
0: {name: 'punctuation.definition.comment.haskell'}
},
end: '$',
name: 'comment.line.double-dash.haskell'
}
]
},
{include: '#block_comment'}
]
},
common_toplevel: {
patterns: [
{include: '#class_decl'},
{include: '#instance_decl'},
{include: '#deriving_instance_decl'},
{include: '#foreign_import'},
{include: '#regular_import'},
{include: '#data_decl'},
{include: '#type_alias'},
{include: '#c_preprocessor'}
]
},
ctor_type_declaration: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(?:(?:((?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))(?:(?:\\s*,\\s*)(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))))*))(?:\\s*((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))))))",
beginCaptures: {
2: {patterns: [{include: '#type_ctor'}, {include: '#infix_op'}]},
3: {name: 'keyword.other.double-colon.haskell'}
},
contentName: 'meta.type-signature.haskell',
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.ctor.type-declaration.haskell',
patterns: [{include: '#type_signature'}]
}
]
},
data_decl: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(data|newtype)\\s+((?:(?!(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:=|--+)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))))|(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))where(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))|{-).|{-.*?-})*)",
beginCaptures: {
2: {name: 'keyword.other.data.haskell'},
3: {
name: 'meta.type-signature.haskell',
patterns: [
{include: '#family_and_instance'},
{include: '#type_signature'}
]
}
},
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.declaration.type.data.haskell',
patterns: [
{include: '#comments'},
{include: '#string'},
{include: '#where'},
{include: '#deriving'},
{include: '#via'},
{include: '#assignment_op'},
{include: '#type_ctor_forall'},
{include: '#type_ctor_alt'},
{
captures: {0: {name: 'punctuation.separator.pipe.haskell'}},
match: '\\|'
},
{
begin: '\\{',
beginCaptures: {
0: {name: 'keyword.operator.record.begin.haskell'}
},
end: '\\}',
endCaptures: {0: {name: 'keyword.operator.record.end.haskell'}},
name: 'meta.declaration.type.data.record.block.haskell',
patterns: [
{include: '#comments'},
{include: '#comma'},
{include: '#record_field_declaration'}
]
},
{include: '#ctor_type_declaration'}
]
}
]
},
deriving: {
patterns: [
{include: '#deriving_list'},
{include: '#deriving_simple'},
{include: '#deriving_keyword'}
]
},
deriving_instance_decl: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(?:(?:(deriving)(?:\\s+([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*))?)\\s+|(deriving)\\s+(via)\\s+(.*)\\s+)?(instance)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {
2: {name: 'keyword.other.haskell'},
3: {patterns: [{include: '#deriving_strategies'}]},
4: {name: 'keyword.other.haskell'},
5: {name: 'keyword.other.haskell'},
6: {
name: 'meta.type-signature.haskell',
patterns: [{include: '#type_signature'}]
},
7: {name: 'keyword.other.haskell'}
},
contentName: 'meta.type-signature.haskell',
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.declaration.instance.deriving.haskell',
patterns: [{include: '#pragma'}, {include: '#type_signature'}]
}
]
},
deriving_keyword: {
patterns: [
{
captures: {
1: {name: 'keyword.other.haskell'},
2: {patterns: [{include: '#deriving_strategies'}]}
},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:(deriving)(?:\\s+([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*))?)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'meta.deriving.haskell'
}
]
},
deriving_list: {
patterns: [
{
begin:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:(deriving)(?:\\s+([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*))?)\\s*\\(",
beginCaptures: {
1: {name: 'keyword.other.haskell'},
2: {patterns: [{include: '#deriving_strategies'}]}
},
end: '\\)',
name: 'meta.deriving.haskell',
patterns: [
{
captures: {1: {name: 'entity.other.inherited-class.haskell'}},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))"
}
]
}
]
},
deriving_simple: {
patterns: [
{
captures: {
1: {name: 'keyword.other.haskell'},
2: {patterns: [{include: '#deriving_strategies'}]},
3: {name: 'entity.other.inherited-class.haskell'}
},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:(deriving)(?:\\s+([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*))?)\\s*([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'meta.deriving.haskell'
}
]
},
deriving_strategies: {
patterns: [
{
captures: {1: {name: 'keyword.other.haskell'}},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(stock|newtype|anyclass)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'meta.deriving.strategy.haskell'
}
]
},
double_colon_operator: {
patterns: [
{
match:
'(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|]))))',
name: 'keyword.other.double-colon.haskell'
}
]
},
empty_list: {
patterns: [
{match: '\\[\\]', name: 'constant.language.empty-list.haskell'}
]
},
family_and_instance: {
patterns: [
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(family|instance)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'keyword.other.haskell'
}
]
},
foreign_import: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(foreign)\\s+(import|export)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {
2: {name: 'keyword.other.haskell'},
3: {name: 'keyword.other.haskell'}
},
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.foreign.haskell',
patterns: [
{
captures: {0: {name: 'keyword.other.haskell'}},
match: '(?:un)?safe'
},
{include: '#function_type_declaration'},
{include: '#haskell_expr'},
{include: '#comments'}
]
}
]
},
function_name: {
patterns: [
{
captures: {0: {patterns: [{include: '#module_name_prefix'}]}},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'entity.name.function.haskell'
}
]
},
function_type_declaration: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(?:(?:((?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))(?:(?:\\s*,\\s*)(?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))))*)\\s*((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))))))",
beginCaptures: {
2: {
patterns: [{include: '#function_name'}, {include: '#infix_op'}]
},
3: {name: 'keyword.other.double-colon.haskell'}
},
contentName: 'meta.type-signature.haskell',
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )|(?=(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:<-|=)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))))',
name: 'meta.function.type-declaration.haskell',
patterns: [{include: '#type_signature'}]
}
]
},
function_type_declaration_with_scoped_type: {
patterns: [
{include: '#scoped_type_override'},
{include: '#function_type_declaration'},
{include: '#multiline_type_declaration'}
]
},
haskell_expr: {
patterns: [
{include: '#infix_function'},
{include: '#unit'},
{include: '#empty_list'},
{include: '#quasi_quotes'},
{include: '#keywords'},
{include: '#pragma'},
{include: '#string'},
{include: '#newline_escape'},
{include: '#quoted_character'},
{include: '#comments'},
{include: '#infix_op'},
{include: '#comma'},
{include: '#lit_num'},
{include: '#scoped_type'},
{include: '#type_application'},
{include: '#operator'},
{include: '#identifier'},
{include: '#type_ctor'}
]
},
haskell_source: {
patterns: [
{include: '#shebang'},
{include: '#module_decl'},
{include: '#haskell_toplevel'}
]
},
haskell_toplevel: {
patterns: [
{include: '#liquidhaskell_annotation'},
{include: '#common_toplevel'},
{include: '#function_type_declaration_with_scoped_type'},
{include: '#haskell_expr'}
]
},
hsig_decl: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(signature)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {2: {name: 'keyword.other.haskell'}},
end: "(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(where)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))|^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )",
endCaptures: {1: {name: 'keyword.other.haskell'}},
name: 'meta.declaration.module.haskell',
patterns: [
{include: '#comments'},
{include: '#module_name'},
{include: '#module_exports'},
{include: '#invalid'}
]
}
]
},
hsig_source: {
patterns: [{include: '#hsig_decl'}, {include: '#hsig_toplevel'}]
},
hsig_toplevel: {
patterns: [
{include: '#common_toplevel'},
{include: '#function_type_declaration'},
{include: '#lazy_function_type_signature'},
{include: '#comments'}
]
},
identifier: {
patterns: [
{
captures: {
0: {
patterns: [
{include: '#module_name_prefix'},
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(abs|acos|acosh|all|and|any|appendFile|asTypeOf|asin|asinh|atan|atan2|atanh|break|ceiling|compare|concat|concatMap|const|cos|cosh|curry|cycle|decodeFloat|div|divMod|drop|dropWhile|either|elem|encodeFloat|enumFrom|enumFromThen|enumFromThenTo|enumFromTo|error|errorWithoutStackTrace|even|exp|exponent|fail|filter|flip|floatDigits|floatRadix|floatRange|floor|fmap|foldMap|foldl|foldl1|foldr|foldr1|fromEnum|fromInteger|fromIntegral|fromRational|fst|gcd|getChar|getContents|getLine|head|id|init|interact|ioError|isDenormalized|isIEEE|isInfinite|isNaN|isNegativeZero|iterate|last|lcm|length|lex|lines|log|logBase|lookup|map|mapM|mapM_|mappend|max|maxBound|maximum|maybe|mconcat|mempty|min|minBound|minimum|mod|negate|not|notElem|null|odd|or|otherwise|pi|pred|print|product|properFraction|pure|putChar|putStr|putStrLn|quot|quotRem|read|readFile|readIO|readList|readLn|readParen|reads|readsPrec|realToFrac|recip|rem|repeat|replicate|return|reverse|round|scaleFloat|scanl|scanl1|scanr|scanr1|seq|sequence|sequenceA|sequence_|show|showChar|showList|showParen|showString|shows|showsPrec|significand|signum|sin|sinh|snd|span|splitAt|sqrt|subtract|succ|sum|tail|take|takeWhile|tan|tanh|toEnum|toInteger|toRational|traverse|truncate|uncurry|undefined|unlines|until|unwords|unzip|unzip3|userError|words|writeFile|zip|zip3|zipWith|zipWith3)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'support.function.prelude.$1.haskell'
}
]
}
},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'identifier.haskell'
}
]
},
infix_function: {
patterns: [
{
captures: {
1: {name: 'punctuation.definition.entity.haskell'},
2: {name: 'punctuation.definition.entity.haskell'}
},
match:
"(`)(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(`)",
name: 'keyword.operator.function.infix.haskell'
}
]
},
infix_op: {
patterns: [
{
captures: {
0: {
patterns: [
{include: '#module_name_prefix'},
{
match:
'^\\((\\!\\!|\\$\\!|\\$|\\&\\&|\\*|\\*\\*|\\*\\>|\\+|\\+\\+|\\-|\\.|\\/|\\/\\=|\\<\\$|\\<\\$\\>|\\<|\\<\\*|\\<\\*\\>|\\<\\=|\\=\\<\\<|\\=\\=|\\>|\\>\\=|\\>\\>|\\>\\>\\=|\\^|\\^\\^|\\|\\|)\\)$',
name: 'support.operator.prelude.haskell'
}
]
}
},
match:
"(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))",
name: 'entity.name.function.operator.haskell'
}
]
},
instance_decl: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(instance)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {2: {name: 'keyword.other.haskell'}},
contentName: 'meta.type-signature.haskell',
end: "(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(where)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))|^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )",
endCaptures: {1: {name: 'keyword.other.haskell'}},
name: 'meta.declaration.instance.haskell',
patterns: [{include: '#pragma'}, {include: '#type_signature'}]
}
]
},
invalid: {
patterns: [
{
match: '\\S+',
name: 'invalid.illegal.character-not-allowed-here.haskell'
}
]
},
keywords: {
patterns: [
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(deriving|where|data|type|newtype|pattern)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'keyword.other.$1.haskell'
},
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(infix[lr]?)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'keyword.operator.$1.haskell'
},
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(do|if|then|else|case|of|let|in|default|mdo|rec|proc)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'keyword.control.$1.haskell'
}
]
},
lazy_function_type_signature: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(((?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))(?:(?:\\s*,\\s*)(?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))))*))\\s*$",
beginCaptures: {
2: {patterns: [{include: '#function_name'}, {include: '#infix_op'}]}
},
contentName: 'meta.type-signature.haskell',
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.function.type-declaration.haskell',
patterns: [
{include: '#double_colon_operator'},
{include: '#type_signature'}
]
}
]
},
liquidhaskell_annotation: {
patterns: [
{
begin: '\\{-@(?!#)',
contentName: 'block.liquidhaskell.annotation.haskell',
end: '@-\\}',
name: 'block.liquidhaskell.haskell',
patterns: [{include: 'annotation.liquidhaskell.haskell'}]
}
]
},
lit_num: {
patterns: [
{
match:
'0[xX][0-9a-fA-F_]*(?:\\.[0-9a-fA-F_]+(?:[pP][+-]?[0-9_]+)?|[pP][+-]?[0-9_]+)',
name: 'constant.numeric.hexfloat.haskell'
},
{
match: '0[xX][_0-9a-fA-F]+',
name: 'constant.numeric.hexadecimal.haskell'
},
{match: '0[oO][_0-7]+', name: 'constant.numeric.octal.haskell'},
{match: '0[bB][_01]+', name: 'constant.numeric.binary.haskell'},
{
match:
'[0-9][0-9_]*(?:\\.[0-9_]+(?:[eE][+-]?[0-9_]+)?|[eE][+-]?[0-9_]+)',
name: 'constant.numeric.float.haskell'
},
{match: '[0-9][_0-9]*', name: 'constant.numeric.decimal.haskell'}
]
},
module_decl: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(module)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {2: {name: 'keyword.other.haskell'}},
end: "(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(where)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))|^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )",
endCaptures: {1: {name: 'keyword.other.haskell'}},
name: 'meta.declaration.module.haskell',
patterns: [
{include: '#pragma'},
{include: '#comments'},
{include: '#module_name'},
{include: '#module_exports'},
{include: '#invalid'}
]
}
]
},
module_exports: {
patterns: [
{
applyEndPatternLast: true,
begin: '\\(',
end: '\\)',
name: 'meta.declaration.exports.haskell',
patterns: [
{include: '#comments'},
{include: '#c_preprocessor'},
{
begin:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(module)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {1: {name: 'keyword.other.haskell'}},
end: "(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
endCaptures: {1: {name: 'support.other.module.haskell'}},
patterns: [{include: '#invalid'}]
},
{include: '#pattern_name'},
{include: '#type_exportImport'},
{include: '#function_name'},
{include: '#type_name'},
{include: '#comma'},
{include: '#infix_op'},
{
begin: '\\(',
end: '\\)',
name: 'meta.other.constructor-list.haskell',
patterns: [
{include: '#comments'},
{include: '#c_preprocessor'},
{include: '#type_ctor'},
{include: '#attribute_name'},
{include: '#comma'},
{match: '\\.\\.', name: 'keyword.operator.wildcard.haskell'},
{include: '#infix_op'}
]
}
]
}
]
},
module_name: {
patterns: [
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'support.other.module.haskell'
}
]
},
module_name_prefix: {
patterns: [
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.",
name: 'support.other.module.haskell'
}
]
},
multiline_type_declaration: {
patterns: [
{
begin:
'^(?:>|<) ([ \\t]*)((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))))',
beginCaptures: {2: {name: 'keyword.other.double-colon.haskell'}},
contentName: 'meta.type-signature.haskell',
end: '^(?!(?:>|<) \\1|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )|(?=(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:<-|=)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))))',
name: 'meta.multiline.type-declaration.haskell',
patterns: [{include: '#type_signature'}]
}
]
},
newline_escape: {
patterns: [{match: '\\\\$', name: 'markup.other.escape.newline.haskell'}]
},
operator: {
patterns: [
{
captures: {
0: {
patterns: [
{include: '#module_name_prefix'},
{
match:
'^(\\!\\!|\\$\\!|\\$|\\&\\&|\\*|\\*\\*|\\*\\>|\\+|\\+\\+|\\-|\\.|\\/|\\/\\=|\\<\\$|\\<\\$\\>|\\<|\\<\\*|\\<\\*\\>|\\<\\=|\\=\\<\\<|\\=\\=|\\>|\\>\\=|\\>\\>|\\>\\>\\=|\\^|\\^\\^|\\|\\|)$',
name: 'support.operator.prelude.haskell'
}
]
}
},
match:
"(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+",
name: 'keyword.operator.haskell'
}
]
},
pattern_name: {
patterns: [
{
captures: {
1: {patterns: [{include: '#keywords'}]},
2: {patterns: [{include: '#type_ctor'}, {include: '#infix_op'}]}
},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(pattern)\\s+([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))",
name: 'meta.declaration.export.qualified.pattern.haskell'
}
]
},
pragma: {
patterns: [
{
begin: '\\{-#',
end: '#-\\}',
name: 'meta.preprocessor.haskell',
patterns: [
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))((?i:NOTINLINE CONSTRUCTORLIKE|NOINLINE CONSTRUCTORLIKE|INLINE CONSTRUCTORLIKE|SPECIALISE NOTINLINE|SPECIALIZE NOTINLINE|SPECIALISE NOINLINE|SPECIALIZE NOINLINE|NOTINLINE CONLIKE|SPECIALISE INLINE|SPECIALIZE INLINE|NOINLINE CONLIKE|VECTORISE SCALAR|VECTORIZE SCALAR|OPTIONS_HADDOCK|INLINE CONLIKE|OPTIONS_DERIVE|OPTIONS_CATCH|OPTIONS_NHC98|OPTIONS_HUGS|OVERLAPPABLE|NOVECTORISE|NOVECTORIZE|OPTIONS_GHC|OPTIONS_JHC|OPTIONS_YHC|OVERLAPPING|DEPRECATED|INCOHERENT|INLINEABLE|SPECIALISE|SPECIALIZE|GENERATED|INLINABLE|NOTINLINE|VECTORISE|VECTORIZE|COMPLETE|CONTRACT|LANGUAGE|NOINLINE|NOUNPACK|OVERLAPS|INCLUDE|MINIMAL|OPTIONS|WARNING|CFILES|COLUMN|INLINE|SOURCE|UNPACK|CTYPE|RULES|CORE|LINE|ANN|SCC))(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'keyword.other.preprocessor.$1.haskell'
}
]
}
]
},
quasi_quotes: {
patterns: [
{
begin:
"(\\[)((?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*))(\\|)",
beginCaptures: {
1: {name: 'punctuation.definition.quasiquotes.begin.haskell'},
2: {
name: 'entity.name.tag.haskell',
patterns: [{include: '#module_name_prefix'}]
}
},
contentName: 'quoted.quasiquotes.qq-$3.haskell',
end: '(\\|)(\\])',
endCaptures: {
2: {name: 'punctuation.definition.quasiquotes.end.haskell'}
}
}
]
},
quoted_character: {
patterns: [
{
captures: {
1: {name: 'punctuation.definition.string.begin.haskell'},
2: {patterns: [{include: '#characters'}]},
3: {name: 'punctuation.definition.string.end.haskell'}
},
match:
"(')((?:[\\ -\\[\\]-~]|\\\\(?:NUL|SOH|STX|ETX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|SO|SI|DLE|DC1|DC2|DC3|DC4|NAK|SYN|ETB|CAN|EM|SUB|ESC|FS|GS|RS|US|SP|DEL|[abfnrtv\\\\\\\"'\\&])|(?:\\\\o[0-7]+)|(?:\\\\x[0-9A-Fa-f]+)|(?:\\\\\\^[A-Z@\\[\\]\\\\^_])|(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))))(')",
name: 'string.quoted.single.haskell'
}
]
},
record_field_declaration: {
patterns: [
{
begin:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(?:(?:((?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))(?:(?:\\s*,\\s*)(?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))))*)\\s*((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))))))",
beginCaptures: {
1: {
patterns: [{include: '#attribute_name'}, {include: '#infix_op'}]
},
2: {name: 'keyword.other.double-colon.haskell'}
},
contentName: 'meta.type-signature.haskell',
end: "(?=(?:(?:((?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))(?:(?:\\s*,\\s*)(?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))))*)\\s*((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))))))|})",
name: 'meta.record-field.type-declaration.haskell',
patterns: [{include: '#type_signature'}]
}
]
},
regular_import: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(import)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {2: {name: 'keyword.other.haskell'}},
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.import.haskell',
patterns: [
{include: '#module_name'},
{include: '#module_exports'},
{
captures: {1: {name: 'keyword.other.haskell'}},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(qualified|as|hiding)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))"
},
{include: '#comments'}
]
}
]
},
scoped_type: {
patterns: [
{
captures: {1: {patterns: [{include: '#haskell_expr'}]}},
match:
'\\(((?<paren>(?:(?!\\(|\\)).|\\(\\g<paren>\\))*)(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|]))))(?<paren2>(?:(?!\\(|\\)).|\\(\\g<paren2>\\))*))\\)'
},
{
captures: {
1: {name: 'keyword.other.double-colon.haskell'},
2: {
name: 'meta.type-signature.haskell',
patterns: [{include: '#type_signature'}]
}
},
match:
'((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))))((?:(?!{-|(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))(?:<-|=|--+)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|]))))|$).|{-.*?-})*)'
}
]
},
scoped_type_override: {
patterns: [
{
captures: {
2: {patterns: [{include: '#identifier'}]},
3: {name: 'keyword.other.double-colon.haskell'},
4: {
name: 'meta.type-signature.haskell',
patterns: [{include: '#type_signature'}]
},
5: {patterns: [{include: '#assignment_op'}, {include: '#operator'}]}
},
match:
"^(?:>|<) ([ \\t]*)(?:(?:((?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\)))(?:(?:\\s*,\\s*)(?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:\\((?!--+\\)|\\.\\.\\))(?:(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))+\\))))*)\\s*((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:::|∷)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))))))((?:(?!{-|(?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:--+)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|]))))).|{-.*?-})*)((?:(?<!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))(?:<-|=)(?!(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_\"'\\|])))))"
}
]
},
shebang: {
patterns: [
{
match: '^\\#\\!.*\\brunhaskell\\b.*$',
name: 'comment.line.shebang.haskell'
}
]
},
string: {
patterns: [
{
begin: '"',
beginCaptures: {
0: {name: 'punctuation.definition.string.begin.haskell'}
},
end: '"',
endCaptures: {0: {name: 'punctuation.definition.string.end.haskell'}},
name: 'string.quoted.double.haskell',
patterns: [
{include: '#characters'},
{
begin: '\\\\\\s',
beginCaptures: {
0: {name: 'markup.other.escape.newline.begin.haskell'}
},
end: '\\\\',
endCaptures: {
0: {name: 'markup.other.escape.newline.end.haskell'}
},
patterns: [{include: '#invalid'}]
}
]
}
]
},
type_alias: {
patterns: [
{
begin:
"^(?:>|<) ([ \\t]*)(type)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
beginCaptures: {2: {name: 'keyword.other.type.haskell'}},
contentName: 'meta.type-signature.haskell',
end: '^(?!(?:>|<) \\1[ \\t]|(?:>|<) [ \\t]*$)|^(?!(?:>|<) )',
name: 'meta.declaration.type.type.haskell',
patterns: [
{include: '#comments'},
{include: '#family_and_instance'},
{include: '#where'},
{include: '#assignment_op'},
{include: '#type_signature'}
]
}
]
},
type_application: {
patterns: [
{
captures: {
2: {patterns: [{include: '#operator'}]},
3: {patterns: [{include: '#type_signature'}]}
},
match:
'(<?\\s+)(@)(\\\'?\\((?<paren>(?:(?!\\(|\\)).|\\(\\g<paren>\\))*)\\)|\\\'?\\[(?<brack>(?:(?!\\[|\\]).|\\[\\g<brack>\\])*)\\]|"(?<quot>(?:(?!"|").|"\\g<quot>")*)"|\'(?:[\\ -\\[\\]-~]|\\\\(?:NUL|SOH|STX|ETX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|SO|SI|DLE|DC1|DC2|DC3|DC4|NAK|SYN|ETB|CAN|EM|SUB|ESC|FS|GS|RS|US|SP|DEL|[abfnrtv\\\\\\"\'\\&])|(?:\\\\o[0-7]+)|(?:\\\\x[0-9A-Fa-f]+)|(?:\\\\\\^[A-Z@\\[\\]\\\\^_])|(?:[\\p{S}\\p{P}](?<![(),;\\[\\]`{}_"\'\\|])))\'|\\S+)',
name: 'other.type-application.haskell'
}
]
},
type_ctor: {
patterns: [
{
captures: {
0: {
patterns: [
{include: '#module_name_prefix'},
{
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))(EQ|GT|LT|Left|Right|True|False)(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",
name: 'support.tag.prelude.$1.haskell'
}
]
}
},
match:
"(?:(?=[\\p{Ll}_\\p{Lu}\\p{Lt}])(?<![\\p{Ll}_\\p{Lu}\\p{Lt}']))[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*(?:(?<=[\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}'])(?![\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']))",