Source file sexpable.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
open! Import
include Sexplib0.Sexpable
module Of_sexpable
(Sexpable : S) (M : sig
type t
val to_sexpable : t -> Sexpable.t
val of_sexpable : Sexpable.t -> t
end) : S with type t := M.t = struct
let t_of_sexp sexp =
let s = Sexpable.t_of_sexp sexp in
try M.of_sexpable s with
| exn -> of_sexp_error_exn exn sexp
;;
let sexp_of_t t = Sexpable.sexp_of_t (M.to_sexpable t)
end
module Of_sexpable1
(Sexpable : S1) (M : sig
type 'a t
val to_sexpable : 'a t -> 'a Sexpable.t
val of_sexpable : 'a Sexpable.t -> 'a t
end) : S1 with type 'a t := 'a M.t = struct
let t_of_sexp a_of_sexp sexp =
let s = Sexpable.t_of_sexp a_of_sexp sexp in
try M.of_sexpable s with
| exn -> of_sexp_error_exn exn sexp
;;
let sexp_of_t sexp_of_a t = Sexpable.sexp_of_t sexp_of_a (M.to_sexpable t)
end
module Of_sexpable2
(Sexpable : S2) (M : sig
type ('a, 'b) t
val to_sexpable : ('a, 'b) t -> ('a, 'b) Sexpable.t
val of_sexpable : ('a, 'b) Sexpable.t -> ('a, 'b) t
end) : S2 with type ('a, 'b) t := ('a, 'b) M.t = struct
let t_of_sexp a_of_sexp b_of_sexp sexp =
let s = Sexpable.t_of_sexp a_of_sexp b_of_sexp sexp in
try M.of_sexpable s with
| exn -> of_sexp_error_exn exn sexp
;;
let sexp_of_t sexp_of_a sexp_of_b t =
Sexpable.sexp_of_t sexp_of_a sexp_of_b (M.to_sexpable t)
;;
end
module Of_sexpable3
(Sexpable : S3) (M : sig
type ('a, 'b, 'c) t
val to_sexpable : ('a, 'b, 'c) t -> ('a, 'b, 'c) Sexpable.t
val of_sexpable : ('a, 'b, 'c) Sexpable.t -> ('a, 'b, 'c) t
end) : S3 with type ('a, 'b, 'c) t := ('a, 'b, 'c) M.t = struct
let t_of_sexp a_of_sexp b_of_sexp c_of_sexp sexp =
let s = Sexpable.t_of_sexp a_of_sexp b_of_sexp c_of_sexp sexp in
try M.of_sexpable s with
| exn -> of_sexp_error_exn exn sexp
;;
let sexp_of_t sexp_of_a sexp_of_b sexp_of_c t =
Sexpable.sexp_of_t sexp_of_a sexp_of_b sexp_of_c (M.to_sexpable t)
;;
end
module Of_stringable (M : Stringable.S) : sig
type t [@@deriving_inline sexp_grammar]
val t_sexp_grammar : t Sexplib0.Sexp_grammar.t
[@@@end]
include S with type t := t
end
with type t := M.t = struct
let t_of_sexp sexp =
match sexp with
| Sexp.Atom s ->
(try M.of_string s with
| exn -> of_sexp_error_exn exn sexp)
| Sexp.List _ ->
of_sexp_error
"Sexpable.Of_stringable.t_of_sexp expected an atom, but got a list"
sexp
;;
let sexp_of_t t = Sexp.Atom (M.to_string t)
let t_sexp_grammar : M.t Sexplib0.Sexp_grammar.t =
Sexplib0.Sexp_grammar.coerce string_sexp_grammar
;;
end