lex.dcl

   1 definition module lex
   2
   3 import Data.Either
   4
   5 :: Token
   6         //Value tokens
   7         = IdentToken [Char] // Identifier
   8         | NumberToken [Char]// Integer
   9         | CharToken Char    // Character literal
  10         //Keyword tokens
  11         | VarToken          // var keyword
  12         | ReturnToken       // return keyword
  13         | IfToken           // if keyword
  14         | ElseToken         // else keyword
  15         | WhileToken        // while keyword
  16         | TrueToken         // True keyword
  17         | FalseToken        // False keyword
  18         | VoidToken         // Void keyword
  19         | IntTypeToken      // Int keyword
  20         | CharTypeToken     // Char keyword
  21         | BoolTypeToken     // Bool keyword
  22         //Two character tokens
  23         | DoubleColonToken  // ::
  24         | LesserEqToken     // <=
  25         | GreaterEqToken    // >=
  26         | EqualsToken       // ==
  27         | AmpersandsToken   // &&
  28         | PipesToken        // ||
  29     | ArrowToken        // ->
  30         //One character tokens
  31         | BraceOpenToken    // (
  32         | BraceCloseToken   // )
  33         | CBraceOpenToken   // {
  34         | CBraceCloseToken  // }
  35         | SquareOpenToken   // [
  36         | SquareCloseToken  // ]
  37         | CommaToken        // ,
  38         | ColonToken        // :
  39         | SColonToken       // ;
  40         | DotToken          // .
  41         | PlusToken         // +
  42         | DashToken         // -
  43         | StarToken         // *
  44         | SlashToken        // /
  45         | PercentToken      // %
  46         | AssignmentToken   // =
  47         | LesserToken       // <
  48         | BiggerToken       // >
  49         | ExclamationToken  // !
  50         //Special tokens
  51         | EndOfFileToken    // EOF
  52
  53 :: LexerOutput :== Either String [Token]
  54
  55 instance toString LexerOutput
  56
  57 lexer :: [Char] -> LexerOutput