/
bslLib.mli
201 lines (157 loc) · 6.43 KB
/
bslLib.mli
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
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
(*
Copyright © 2011 MLstate
This file is part of Opa.
Opa is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License, version 3, as published by
the Free Software Foundation.
Opa is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
more details.
You should have received a copy of the GNU Affero General Public License
along with Opa. If not, see <http://www.gnu.org/licenses/>.
*)
(**
The Core of the Bypass Standard Library.
See the manual for more documentation.
@author Mathieu Barbin
@author Mehdi Bouaziz
*)
(**
TODO: defunc.
Although it brings type safety about its manipulation,
it is too complex.
The table should be shared between different instance of back-end,
since we have a lot of backends with which we may choose to togle
dynamically.
*)
(* Implementation Note :
the modules in the implementation can share the abstract types because
there is no coercion of module there,
until the final compilation of the module BslLib *)
open BslInterface
(** {6 Parser} *)
(** This module offers a High-level API for calling the [BslRegisterParser] module (trx) *)
module HLParser :
sig
(**
The list of all include formats used by default by the parser of {b bslregister}
for processing {b opa} files.
*)
val default_opa_iformats : (string * string) list
(**
Add some more format to the table.
*)
val add_iformat : ('a * string) list -> unit (** suggar : call format *)
(**
Print all currently loaded iformats.
*)
val show_iformats : Format.formatter -> unit -> unit
(** {6 Exported rules} *)
(**
Parse a directive available in an Opa file.
*)
val opalang_directive : string -> (BslTags.parsed_t, BslDirectives.opalang_directive) BslDirectives.decorated_source_elt
(**
Parse a directive available in a bypass file. (Ocaml, Javascript)
*)
val bypasslang_directive : string -> (BslTags.parsed_t, BslDirectives.bypasslang_directive) BslDirectives.decorated_source_elt
end
module Arg :
sig
(**
Defines some common options.
+ [--show-iformats] for printing the default iformats available in opa.
{[
##include <format> path
]}
*)
val options : (Base.Arg.key * Base.Arg.spec * Base.Arg.doc) list
end
(** {6 Generation} *)
(**
Get the map of types, usefull to generate projection code.
If runtime is set to true, the module will appear in the Runtime.Module.Path
*)
val record_path_map_of_typesmap : ?complete:bool -> ?runtime:bool -> typesmap -> string StringMap.t
(** ----- *)
(** Extra tools on type generation with ocaml *)
val map_type_from_type_map_and_path : typesmap -> string list -> ?definition:bool -> BslTypes.t -> BslTypes.t
(** A sugar to get the string boxed in a meta_code *)
val meta_code : meta_code -> string
(** {6 Bypass scopes} *)
(**
This function is used for warning the user when some import-plugin are missing
in the code, and detected thanks to the autobuild mode
*)
val declare_visibility : ObjectFiles.package_name -> BslPluginInterface.plugin_basename -> unit
(** {6 Constructors of custom BSL} *)
(** Creating a new BSL from all I,CTrans. This is the constructor for advanced utilisation *)
module MakeLibBSL :
functor (ML_ITrans : ML_ITRANS) ->
functor (ML_CTrans : ML_CTRANS) ->
functor (JS_CTrans : JS_CTRANS) ->
BSLINTROSPECTION with type ml_ctrans_env = ML_CTrans.env
and type js_ctrans_env = JS_CTrans.env
(** Dummy modules - for simple users, like bslbrowser - or some verificator *)
module Dummy_ML_ITrans : ML_ITRANS
module Dummy_ML_CTrans : ML_CTRANS
module Dummy_JS_CTrans : JS_CTRANS
(** If you write a qml compiler, you don't need the tools on transtyping on dynamic loading
but you do not take care on JS trans.
This is built with MakeLibBSL with all Dummy_* but ML_CTRANS *)
module LibBSLForQml2Ocaml :
functor (ML_CTrans : ML_CTRANS) ->
BSLINTROSPECTION with type ml_ctrans_env = ML_CTrans.env
(** If you write a js compiler, you don't need the tools on transtyping on dynamic loading
but you do not take care on ML trans.
This is built with MakeLibBSL with all Dummy_* but JS_CTRANS *)
module LibBSLForQml2Js :
functor (JS_CTrans : JS_CTRANS) ->
BSLINTROSPECTION with type js_ctrans_env = JS_CTrans.env
(** If you write a interpreter, you don't need the tools on auto code generation.
Currently, qmltop does not use ML_ITRANS, and does not use this module *)
module LibBSLForQmlTopLevel :
functor (ITrans : ML_ITRANS) ->
BSLINTROSPECTION
(** A BSL for all use but the transtyping tools *)
module BSL : BSLINTROSPECTION
(** A type used several time in the framework, mostly by backends *)
type env_bsl =
{
(* All the loaded bypasses *)
bymap : BSL.ByPassMap.t ;
(* All plugins required by the compilation unit, including
transitive dependencies *)
all_plugins : BslPluginInterface.plugin list ;
(* External plugins used by transitive deps *)
all_external_plugins : BslPluginInterface.plugin list ;
(* Direct plugin dependencies only, not including bundled plugin *)
direct_external_plugins : BslPluginInterface.plugin list ;
(* Plugin that was possibly built with this compilation
unit. Note that this entry is excluded from the previous two
lists, as the plugin is indeed a part of the compilation
unit. Therefore, it doesn't need to be linked again or
copied*)
bundled_plugin : BslPluginInterface.plugin option ;
}
(** {6 Extra common tools for projection} *)
(** A common tools for the ML_CTrans
This function is shared by the two translation functions
_qml_of_ocaml and _ocaml_of_qml
It is used to project functions.
Sample of generated code :
[ let f' x1 x2 x3 =
let r = f x1 (px2 x2) x3 in
pr r in f')
]
*)
val ml_function_projection :
inputs:(BslTypes.t -> meta_ident -> meta_code option) ->
outputs:(BslTypes.t -> meta_ident -> meta_code option) ->
BslTypes.t list -> BslTypes.t -> meta_ident -> meta_code option
(** A common tools for the JS_CTrans *)
val js_function_projection :
inputs:(BslTypes.t -> meta_ident -> meta_code option) ->
outputs:(BslTypes.t -> meta_ident -> meta_code option) ->
BslTypes.t list -> BslTypes.t -> meta_ident -> meta_code option