org.aya.parser.AyaLexer.tokens Maven / Gradle / Ivy
INFIX=1
INFIXL=2
INFIXR=3
TIGHTER=4
LOOSER=5
EXAMPLE=6
COUNTEREXAMPLE=7
ULIFT=8
TYPE=9
AS=10
OPEN=11
IMPORT=12
PUBLIC=13
PRIVATE=14
USING=15
HIDING=16
COERCE=17
OPAQUE=18
INLINE=19
OVERLAP=20
MODULE_KW=21
BIND_KW=22
MATCH=23
VARIABLE=24
DEF=25
STRUCT=26
DATA=27
PRIM=28
EXTENDS=29
NEW_KW=30
PATTERN_KW=31
DO_KW=32
CODATA_KW=33
LET_KW=34
IN_KW=35
COMPLETED=36
SIGMA=37
LAMBDA=38
PI=39
FORALL=40
TO=41
IMPLIES=42
SUCHTHAT=43
DOT=44
BAR=45
COMMA=46
COLON=47
COLON2=48
LBRACE=49
RBRACE=50
LPAREN=51
RPAREN=52
LGOAL=53
RGOAL=54
NUMBER=55
CALM_FACE=56
STRING=57
INCOMPLETE_STRING=58
ID=59
WS=60
DOC_COMMENT=61
LINE_COMMENT=62
COMMENT=63
ERROR_CHAR=64
'infix'=1
'infixl'=2
'infixr'=3
'tighter'=4
'looser'=5
'example'=6
'counterexample'=7
'Type'=9
'as'=10
'open'=11
'import'=12
'public'=13
'private'=14
'using'=15
'hiding'=16
'coerce'=17
'opaque'=18
'inline'=19
'overlap'=20
'module'=21
'bind'=22
'match'=23
'variable'=24
'def'=25
'struct'=26
'data'=27
'prim'=28
'extends'=29
'new'=30
'pattern'=31
'do'=32
'codata'=33
'let'=34
'in'=35
'completed'=36
'**'=43
'.'=44
'|'=45
','=46
':'=47
'::'=48
'{'=49
'}'=50
'('=51
')'=52
'{?'=53
'?}'=54
'_'=56