typedjs_parser.jison

/* lexical grammar */
%lex
%%

\s+                   /* skip whitespace */
"String"              return 'string'
"Number"              return 'number'
"Char"                return 'char'
"Boolean"             return 'boolean'
([a-z]|[A-Z]|\_|\.)+  return 'VAR'
"//+"                 return 'BEGIN'
","                   return ','
"("                   return '('
")"                   return ')'
"["                   return '['
"]"                   return ']'
"{"                   return '{'
"}"                   return '}'
"::"                  return '::'
"->"                  return '->'
":"                   return ':'
"|"                   return '|'
<<EOF>>               return 'EOF'
.                     return 'INVALID'

/lex

/* operator associations and precedence */

%left ','
%left ':'
%left '|'


%start expressions

%% /* language grammar */

expressions
    : BEGIN VAR "::" arg_list EOF
        {return '{"func":"' + $2 + '","args":[' +$4 + ']}';}
    ;
    
arg_list
    : e
      {$$ = $1;}
    | arg_list "->" e
      {$$ = $1 +"," + $3;}
    ;
    
primitive
    : string
        {$$ = '"string"';}
    | char
        {$$ = '"char"';}
    | number
        {$$ = '"number"';}
    | boolean
        {$$ = '"boolean"';}
    ;

tuple
    : '(' e ')'
      {$$ = "["+$2+"]";}
    ;
    
object
    : '{' e '}'
      {$$ = "{"+$2+"}";}
    ;
    
list
    : '[' primitive ']'
      {$$ = '{"array":' + $2 + '}';}
    | '[' object ']'
      {$$ = '{"array":' + $2 + '}';}
    | '[' tuple ']'
      {$$ = '{"array":' + $2 + '}';}
    | '[' list ']'
      {$$ = '{"array":' + $2 + '}';}
    | '[' or ']'
      {$$ = '{"array":{"or":[' + $2 + ']}}'; }
    ;
    
or
  : e '|' e
    {$$ = $1 + ',' + $3;}
  ;

e
    : e ',' e
        {$$ = $1+','+$3;}
    | or
      {$$ = '{"or":[' + $1 + ']}';}
    | object
    | tuple
    | list
    | primitive
    |  e ':' e
        {$$ = $1 +':'+ $3;}
    | VAR
        {$$ = '"' + String(yytext) + '"';}
    ;