package ppx_monad

You can search for identifiers within the package.

in-package search v0.2.0

ppx_monad
- Library ppx_monad
  - Ppx_monad
- Library ppx_monad_lib
  - Ppx_monad_lib
- Library ppx_monad_ppx
  - Ppx_monad_ppx
- Library ppx_monad_ppx_do
  - Ppx_monad_ppx_do
- Library ppx_monad_ppx_either
  - Ppx_monad_ppx_either
- Library ppx_monad_ppx_list
  - Ppx_monad_ppx_list
- Library ppx_monad_ppx_monad
  - Ppx_monad_ppx_monad
- Library ppx_monad_ppx_option
  - Ppx_monad_ppx_option
- Library ppx_monad_ppx_result
  - Ppx_monad_ppx_result
- Library ppx_monad_ppx_seq
  - Ppx_monad_ppx_seq
- Sources
  - ppx_monad
    
    ppx_monad.ml
  - ppx_monad_lib
    
    helpers.ml
    
    ppx_monad_lib.ml
    
    ppx_monad_lib__.ml
    
    simpleRegexp.ml
  - ppx_monad_ppx
    
    ppx_monad_ppx.ml
  - ppx_monad_ppx_do
    
    ppx_monad_ppx_do.ml
  - ppx_monad_ppx_either
    
    ppx_monad_ppx_either.ml
  - ppx_monad_ppx_list
    
    ppx_monad_ppx_list.ml
  - ppx_monad_ppx_monad
    
    ppx_monad_ppx_monad.ml
  - ppx_monad_ppx_option
    
    ppx_monad_ppx_option.ml
  - ppx_monad_ppx_result
    
    ppx_monad_ppx_result.ml
  - ppx_monad_ppx_seq
    
    ppx_monad_ppx_seq.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file `simpleRegexp.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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
# 1 "src/lib/simpleRegexp.mll"
 
  type t = component list

  and component =
    | Literal of string
    | Maybe of t
    | Or of t * t

  let recompose_accumulator acc =
    List.flatten (List.rev acc)

# 14 "src/lib/simpleRegexp.ml"
let __ocaml_lex_tables = {
  Lexing.lex_base =
   "\000\000\250\255\251\255\252\255\253\255\254\255\255\255";
  Lexing.lex_backtrk =
   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255";
  Lexing.lex_default =
   "\001\000\000\000\000\000\000\000\000\000\000\000\000\000";
  Lexing.lex_trans =
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \006\000\003\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\005\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\004\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \002\000";
  Lexing.lex_check =
   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \000\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \000\000";
  Lexing.lex_base_code =
   "";
  Lexing.lex_backtrk_code =
   "";
  Lexing.lex_default_code =
   "";
  Lexing.lex_trans_code =
   "";
  Lexing.lex_check_code =
   "";
  Lexing.lex_code =
   "";
}

let rec parse_ end_in_par acc lexbuf =
   __ocaml_lex_parse__rec end_in_par acc lexbuf 0
and __ocaml_lex_parse__rec end_in_par acc lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 15 "src/lib/simpleRegexp.mll"
        (
      let acc = parse_ true [] lexbuf :: acc in
      parse_ end_in_par acc lexbuf
    )
# 114 "src/lib/simpleRegexp.ml"

  | 1 ->
# 20 "src/lib/simpleRegexp.mll"
        (
      match acc with
      | [] -> assert false
      | last :: acc ->
        parse_ end_in_par ([Maybe last] :: acc) lexbuf
    )
# 124 "src/lib/simpleRegexp.ml"

  | 2 ->
# 27 "src/lib/simpleRegexp.mll"
        (
      [Or (
          recompose_accumulator acc,
          parse_ end_in_par [] lexbuf
        )]
    )
# 134 "src/lib/simpleRegexp.ml"

  | 3 ->
# 34 "src/lib/simpleRegexp.mll"
        (
      assert end_in_par;
      recompose_accumulator acc
    )
# 142 "src/lib/simpleRegexp.ml"

  | 4 ->
# 39 "src/lib/simpleRegexp.mll"
        (
      assert (not end_in_par);
      recompose_accumulator acc
    )
# 150 "src/lib/simpleRegexp.ml"

  | 5 ->
let
# 44 "src/lib/simpleRegexp.mll"
         c
# 156 "src/lib/simpleRegexp.ml"
= Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 44 "src/lib/simpleRegexp.mll"
           (
      parse_ end_in_par ([Literal (String.make 1 c)] :: acc) lexbuf
    )
# 162 "src/lib/simpleRegexp.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf;
      __ocaml_lex_parse__rec end_in_par acc lexbuf __ocaml_lex_state

;;

# 48 "src/lib/simpleRegexp.mll"
 
  let parse_ = parse_ false []

  let from_string s =
    parse_ (Lexing.from_string s)

  let rec unfoldings = function
    | [] -> [[]]
    | Literal s :: r' -> List.(map (cons s) (unfoldings r'))
    | Maybe r :: r' -> unfoldings r' @ unfoldings (r @ r')
    | Or (r1, r2) :: r' -> unfoldings (r1 @ r') @ unfoldings (r2 @ r')

  let unfoldings r =
    unfoldings r
    |> List.map (String.concat "")
    |> List.sort_uniq String.compare

  let matches r s =
    unfoldings r
    |> List.mem s

# 191 "src/lib/simpleRegexp.ml"

package ppx_monad

Source file simpleRegexp.ml

Source file `simpleRegexp.ml`