3 from Data.Either import :: Either
5 :: Token :== (Int, TokenValue)
8 = IdentToken [Char] // Identifier
9 | NumberToken Int // Integer
10 | CharToken Char // Character literal
12 | VarToken // var keyword
13 | ReturnToken // return keyword
14 | IfToken // if keyword
15 | ElseToken // else keyword
16 | WhileToken // while keyword
17 | TrueToken // True keyword
18 | FalseToken // False keyword
19 | VoidToken // Void keyword
20 | IntTypeToken // Int keyword
21 | CharTypeToken // Char keyword
22 | BoolTypeToken // Bool keyword
23 //Two character tokens
24 | DoubleColonToken // ::
27 | GreaterEqToken // >=
29 | AmpersandsToken // &&
32 | EmptyListToken // []
33 //One character tokens
35 | BraceCloseToken // )
36 | CBraceOpenToken // {
37 | CBraceCloseToken // }
38 | SquareOpenToken // [
39 | SquareCloseToken // ]
49 | AssignmentToken // =
52 | ExclamationToken // !
54 | EndOfFileToken // EOF
56 :: LexerOutput :== Either String [Token]
58 lexer :: [Char] -> LexerOutput