Source file `parsexp_intf.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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
(** Parsing of s-expression *)

open! Import

module type Parsexp = sig
  module Conv_error = Conv_error
  module Of_sexp_error = Of_sexp_error
  module Old_parser_cont_state = Old_parser_cont_state
  module Parse_error = Parse_error
  module Positions = Positions
  module Cst = Cst

  module type Conv = Conv.S
  module type Parser = Parser.S
  module type Eager_parser = Parser.S_eager

  (** Exception raised in case of a conversion error *)
  exception Of_sexp_error of Of_sexp_error.t

  (** Exception raised in case of a parsing error *)
  exception Parse_error of Parse_error.t

  module Single :
    Parser
    with type parsed_value = Sexp.t
     and type State.t = (unit, Automaton_stack.t) Automaton_state.t
     and type Stack.t = Automaton_stack.t

  module Many :
    Parser
    with type parsed_value = Sexp.t list
     and type State.t = (unit, Automaton_stack.t) Automaton_state.t
     and type Stack.t = Automaton_stack.t

  module Eager :
    Eager_parser
    with type parsed_value = Sexp.t
     and type State.t = (unit, Automaton_stack.t) Automaton_state.t
     and type Stack.t = Automaton_stack.t

  module Single_and_positions :
    Parser
    with type parsed_value = Sexp.t * Positions.t
     and type State.t = (Positions.Builder.t, Automaton_stack.t) Automaton_state.t
     and type Stack.t = Automaton_stack.t

  module Many_and_positions :
    Parser
    with type parsed_value = Sexp.t list * Positions.t
     and type State.t = (Positions.Builder.t, Automaton_stack.t) Automaton_state.t
     and type Stack.t = Automaton_stack.t

  module Eager_and_positions :
    Eager_parser
    with type parsed_value = Sexp.t * Positions.t
     and type State.t = (Positions.Builder.t, Automaton_stack.t) Automaton_state.t
     and type Stack.t = Automaton_stack.t

  module Single_just_positions :
    Parser
    with type parsed_value = Positions.t
     and type State.t = (Positions.Builder.t, unit) Automaton_state.t
     and type Stack.t = unit

  module Many_just_positions :
    Parser
    with type parsed_value = Positions.t
     and type State.t = (Positions.Builder.t, unit) Automaton_state.t
     and type Stack.t = unit

  module Eager_just_positions :
    Eager_parser
    with type parsed_value = Positions.t
     and type State.t = (Positions.Builder.t, unit) Automaton_state.t
     and type Stack.t = unit

  module Many_cst :
    Parser
    with type parsed_value = Cst.t_or_comment list
     and type State.t =
           (Automaton_state.For_cst.t, Automaton_stack.For_cst.t) Automaton_state.t
     and type Stack.t = Automaton_stack.For_cst.t

  module Eager_cst :
    Eager_parser
    with type parsed_value = Cst.t_or_comment
     and type State.t =
           (Automaton_state.For_cst.t, Automaton_stack.For_cst.t) Automaton_state.t
     and type Stack.t = Automaton_stack.For_cst.t

  (*_ These type synonyms are introduced because ocaml <4.06
    do not support destructive substitutions with `type 'a t1 = t2`
    or `type t1 = 'a t2`. *)
  type 'a id = 'a
  type sexp_list = Sexp.t list

  module Conv_single :
    Conv
    with type 'a res := 'a id
     and type parsed_sexp := Sexp.t
     and type chunk_to_conv := Sexp.t

  module Conv_many :
    Conv
    with type 'a res := 'a list
     and type parsed_sexp := sexp_list
     and type chunk_to_conv := Sexp.t

  module Conv_many_at_once :
    Conv
    with type 'a res := 'a id
     and type parsed_sexp := sexp_list
     and type chunk_to_conv := sexp_list

  (*_ For tests *)
  (*_ See the Jane Street Style Guide for an explanation of [Private] submodules:

    https://opensource.janestreet.com/standards/#private-submodules *)
  module Private : sig
    module Automaton = Automaton
    module Automaton_stack = Automaton_stack
    module Automaton_state = Automaton_state
    module Positions = Positions
  end
end