Source file `jsonafable_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
module type S = sig
  type t

  val t_of_jsonaf : Type.t -> t
  val jsonaf_of_t : t -> Type.t
end

module type S1 = sig
  type 'a t

  val t_of_jsonaf : (Type.t -> 'a) -> Type.t -> 'a t
  val jsonaf_of_t : ('a -> Type.t) -> 'a t -> Type.t
end

module type S2 = sig
  type ('a, 'b) t

  val t_of_jsonaf : (Type.t -> 'a) -> (Type.t -> 'b) -> Type.t -> ('a, 'b) t
  val jsonaf_of_t : ('a -> Type.t) -> ('b -> Type.t) -> ('a, 'b) t -> Type.t
end

module type S3 = sig
  type ('a, 'b, 'c) t

  val t_of_jsonaf
    :  (Type.t -> 'a)
    -> (Type.t -> 'b)
    -> (Type.t -> 'c)
    -> Type.t
    -> ('a, 'b, 'c) t

  val jsonaf_of_t
    :  ('a -> Type.t)
    -> ('b -> Type.t)
    -> ('c -> Type.t)
    -> ('a, 'b, 'c) t
    -> Type.t
end