Source file `jsonaf_kernel.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
module Conv = Conv
module Expert = Expert
module Jsonafable = Jsonafable_intf

type t =
  [ `Null
  | `False
  | `True
  | `String of string
  | `Number of string
  | `Object of (string * t) list
  | `Array of t list
  ]
  constraint t = Type.t

module Parser = struct
  let parse_number = Result.ok

  let t_without_trailing_whitespace =
    Expert.Parser.create_without_trailing_whitespace parse_number
  ;;

  let t = Expert.Parser.create parse_number
  let run_angstrom parser_ = Angstrom.parse_string ~consume:All parser_
  let run = run_angstrom t
  let run_many = run_angstrom (Angstrom.many t)
end

module Serializer = struct
  let serialize_number f n = Faraday.write_string f n
  let serialize = Expert.Serializer.create serialize_number
  let serialize_hum ~spaces = Expert.Serializer.create_hum ~spaces serialize_number


  let run t =
    let faraday = Faraday.create 0x1000 in
    serialize t faraday;
    Faraday.serialize_to_string faraday
  ;;

  let run_hum ~spaces t =
    let faraday = Faraday.create 0x1000 in
    serialize_hum ~spaces t faraday;
    Faraday.serialize_to_string faraday
  ;;
end