Source file `SpanRuleStack.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
module Make (M : sig
  val first_char : char
  val re : Str.regexp
  val stack_elt : Typ.stack_elt
end) =
struct
  let is_safe = true
  let first_char = FirstChar.One M.first_char

  let construct _ ({ SpanRule.s; cur; stack } as state) : Typ.span option =
    if Str.string_match M.re s cur then (
      state.cur <- Str.match_end ();
      Some
        (match stack with
        | stack_elt :: tl when stack_elt = M.stack_elt ->
            state.stack <- tl;
            StackClose M.stack_elt
        | _ ->
            state.stack <- M.stack_elt :: stack;
            StackOpen M.stack_elt))
    else None
end

module Em = Make (struct
  let first_char = '*'
  let re = Str.regexp "\\*"
  let stack_elt = Typ.Em
end)

module Strong = Make (struct
  let first_char = '*'
  let re = Str.regexp "\\*\\*"
  let stack_elt = Typ.Strong
end)

module EmStrong = Make (struct
  let first_char = '*'
  let re = Str.regexp "\\*\\*\\*"
  let stack_elt = Typ.EmStrong
end)

module Strike = Make (struct
  let first_char = '~'
  let re = Str.regexp "~~"
  let stack_elt = Typ.Strike
end)

module Code = Make (struct
  let first_char = '`'
  let re = Str.regexp "`"
  let stack_elt = Typ.Code
end)