Index of types

D
debug_mode_style [Wd_types]	Whether the generated HTML comments do escape HTML meta characters always (`Fully_encoded), or only partially (`Partially_encoded).
dict [Wd_types]	The type `'a dict` is just an abbreviation for dictionaries (mappings from strings to `'a`).
ds_buf [Wd_types]
E
enum_decl [Wd_types]	The type of an enumeration declaration (i.e.
environment [Wd_types]	This record contains data that may be different for every CGI request.
event [Wd_types]
expr [Wd_templrep]	Expressions inside $`...`
I
id [Wd_interactor]	Interactors are identified by strings
interactors [Wd_types]	Values of this type store the mapping from the (name,index) pairs of interactor elements to the real CGI parameter names together with auxiliary components.
P
param [Wd_templrep]	The type of parameters to instantiate.
poly_ds_buf [Wd_types]	The deserialization buffer
poly_ds_buf [Wd_serialize_types]
poly_var_decl [Wd_types]	This record describes variable declarations.
poly_var_value [Wd_types]
R
response_header [Wd_types]	This record contains the CGI header of the response.
T
t [Wd_templrep]	The type of prepared templates
t [Wd_interactor]	The type of interactors
t [Wd_dictionary]
template [Wd_template]	The type of template definitions
trans_vars [Wd_types]	This record is private for the transformation engine.
tree [Wd_template]	The type of instantiated templates ("XML trees")
U
upload_manager [Wd_upload]	Manages the file upload parameters of a certain request
V
var_decl [Wd_types]
var_type_name [Wd_types]	The different variable types
var_value [Wd_types]

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge