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
|
(* Copyright Jeremy Yallop 2007.
Copyright Grégoire Henry 2011.
This file is free software, distributed under the MIT license.
See the file COPYING for details.
*)
exception Underivable of string
exception NoSuchClass of string
open Camlp4.PreCast
val fatal_error : Loc.t -> string -> 'a
val display_errors : Loc.t -> ('a -> 'b) -> 'a -> 'b
val contains_tvars : Type.expr -> bool
val contains_tvars_decl : Type.decl -> bool
open Defs
module AstHelpers(L : Loc) : sig
module Untranslate : Type.Untranslate
val seq: Ast.expr -> Ast.expr -> Ast.expr
val seq_list: Ast.expr list -> Ast.expr
val record_pattern: ?prefix:string -> Type.field list -> Ast.patt
val record_expr: (string * Ast.expr) list -> Ast.expr
val record_expression: ?prefix:string -> Type.field list -> Ast.expr
val expr_list: Ast.expr list -> Ast.expr
val patt_list: Ast.patt list -> Ast.patt
val tuple_expr: Ast.expr list -> Ast.expr
val tuple: ?param:string -> int -> string list * Ast.patt * Ast.expr
val cast_pattern:
Type.qname Type.NameMap.t -> ?param:string -> Type.expr ->
Ast.patt * Ast.expr * Ast.expr
val modname_from_qname:
qname:string list -> classname:string -> Ast.ident
end
module Generator(Loc: Loc)(Desc : ClassDescription) : sig
type context
val cast_pattern:
context -> ?param:string -> Type.expr ->
Ast.patt * Ast.expr * Ast.expr
val instantiate_modargs_repr: context -> Type.repr -> Type.repr
class virtual generator : object
method pack:
Type.qname Type.NameMap.t -> Type.expr -> Ast.module_expr -> Ast.expr
method unpack:
Type.qname Type.NameMap.t -> Type.expr -> Ast.expr -> Ast.module_expr
method class_sig: Type.qname Type.NameMap.t -> Type.expr -> Ast.module_type
method rhs: context -> Type.subst -> Type.decl -> Ast.module_expr
method expr: context -> Type.expr -> Ast.module_expr
method constr: context -> Type.qname * Type.expr list -> Ast.module_expr
method param: context -> Type.param -> Ast.module_expr
method wrap: context -> ?default:Type.name option -> Type.expr -> Ast.str_item list -> Ast.module_expr
method call_expr: context -> Type.expr -> string -> Ast.expr
method call_poly_expr: context -> Type.poly_expr -> string -> Ast.expr
method virtual proxy: unit -> Type.name option * Ast.ident list
method virtual sum:
?eq:Type.expr -> context ->
Type.name -> Type.expr list -> Type.constraint_ list ->
Type.summand list -> Ast.str_item list
method virtual tuple: context -> Type.expr list -> Ast.str_item list
method virtual variant:
context ->
Type.name -> Type.expr list -> Type.constraint_ list ->
Type.variant -> Ast.str_item list
method virtual record:
?eq:Type.expr -> context ->
Type.name -> Type.expr list -> Type.constraint_ list ->
Type.field list -> Ast.str_item list
method class_: context -> [ `NYI ] -> Ast.str_item list
method function_: context -> Type.expr * Type.expr -> Ast.str_item list
method label:
context ->
[ `NonOptional | `Optional ] * Type.name * Type.expr * Type.expr ->
Ast.str_item list
method object_: context -> [ `NYI ] -> Ast.str_item list
end
val generate: generator -> Type.decl list -> Ast.str_item
val generate_sigs: generator -> Type.decl list -> Ast.sig_item
val generate_expr:
generator ->
Ast.module_expr Type.EMap.t ->
Type.qname Type.NameMap.t ->
Type.expr -> Ast.module_expr
end
val register : generator -> unit
val add_register_hook: (generator -> unit) -> unit
val find : Type.name -> generator
val is_registered : Type.name -> bool
val derive_str : Loc.t -> Type.decl list -> generator -> Ast.str_item
val derive_sig : Loc.t -> Type.decl list -> generator -> Ast.sig_item
module Register(Desc : ClassDescription)(MakeClass : ClassBuilder) : sig
(* Side-effect only *)
end
|
