Source file `alpha_parser.ml`

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
open Core

open MParser
open MParser_PCRE.Tokens

open Ast

let variable_parser s =
  (string Syntax.variable_left_delimiter
   >> (many (alphanum <|> char '_') |>> String.of_char_list)
      << string Syntax.variable_right_delimiter) s

let value_parser s =
  string_literal s

let operator_parser s =
  ((string Syntax.equal)
   <|> (string Syntax.not_equal)) s

let atom_parser s =
  ((variable_parser >>= fun variable -> return (Variable variable))
   <|> (value_parser >>= fun value -> return (String value))) s

let rewrite_template_parser s =
  (value_parser >>= fun value -> return (RewriteTemplate value)) s