aboutsummaryrefslogtreecommitdiffstats
path: root/lib/nix/tokens.ml
blob: 4891d48de7071570e31ab4798a20065f18f1440b (about) (plain) (blame)
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
type token =
  (* Tokens with data *)
  | INT of string
  | FLOAT of string
  (* A path (starting with / or ./) *)
  | PATH of string
  (* Search path, enclosed in < and > *)
  | SPATH of string
  (* Home path, starting with ~/ *)
  | HPATH of string
  | URI of string
  | STR_START of string
  | STR_MID of string
  | STR_END
  | ISTR_START of string
  | ISTR_MID of string
  | ISTR_END of int
  | ID of string
  (* Tokens that stand for themselves *)
  | SELECT
  | QMARK
  | CONCAT
  | NOT
  | MERGE
  | ASSIGN
  | LT
  | LTE
  | GT
  | GTE
  | EQ
  | NEQ
  | AND
  | OR
  | IMPL
  | AQUOTE_OPEN
  | AQUOTE_CLOSE
  | LBRACE
  | RBRACE
  | LBRACK
  | RBRACK
  | PLUS
  | MINUS
  | TIMES
  | SLASH
  | LPAREN
  | RPAREN
  | COLON
  | SEMICOLON
  | COMMA
  | ELLIPSIS
  | AS
  (* Keywords *)
  | WITH
  | REC
  | LET
  | IN
  | INHERIT
  | IF
  | THEN
  | ELSE
  | ASSERT
  | ORDEF
  (* End of input *)
  | EOF