Index of types
A | |
| all_scope [Eliom_common] | |
| app_id [Registration.APP] |
The type appl is an abstract type for identifying an application.
| appl_service_options [Registration] |
Type for the options of an Eliom application service.
| application_content [Registration] |
The type application_content is a refinement of appl_service to be used as a phantom type parameters for Registration.kind.
| application_name [Registration] |
Typed application name
| att [Service_sigs.S] | |
| attached_info [Service_sigs.S] | |
| attrib [Content.Html] | |
| attrib [Content.Svg] | |
| attrib [Form_sigs.LINKS] | |
| attrib [Form_sigs.S] | |
| attrib [Content_sigs.LINKS_AND_FORMS] | |
B | |
| binsum [Parameter_sigs.S] |
Helpers type used for parameters of type binary sum, see Parameter_sigs.S.sum.
| block_content [Registration] |
The type block_content is to be used as a phantom type parameter for Registration.kind.
| browser_content [Registration] |
The type browser_content is to be used as a phantom type parameter for Registration.kind.
| button_type [Form_sigs] | |
C | |
| caml_event_handler [Content.Xml] |
Values of type caml_event_handler represents event handler build with the {{ ... }} syntax (see the Eliom manual for more information on syntax extension).
| chandle [Shared_sigs.RLIST] |
Client-side version of 'a handle
| client_notif [Notif.ARG] |
see S.client_notif
| client_notif [Notif.S] |
client notification type; Can be different from server_notif.
| client_process_scope [Eliom_common] | |
| co [Service_sigs.TYPES] | |
| comet_scope [Comet.Channel] | |
| cookie_level [Eliom_common] | |
| cookie_scope [Eliom_common] | |
| coordinates [Parameter_sigs.S] |
The type coordinates represents the data sent by an <input type="image" ...>.
| ct [Shared_sigs.RLIST] |
Client-side version of 'a t
D | |
| data_cookie_info [State.Ext] | |
| delete [Service_sigs.TYPES] | |
E | |
| eliom_extension_sig [Extension] |
Type of the function that must be registered to declare an eliom extension.
| elt [Content.Html] | |
| elt [Content.Svg] | |
| elt [Form_sigs.LINKS] | |
| elt [Form_sigs.S] | |
| elt [Content_sigs.LINKS_AND_FORMS] | |
| eref [Reference.Volatile] |
The type of volatile Eliom references.
| eref [Reference] |
The type of Eliom references whose content is of type 'a.
| eref' [Reference] |
Eliom references come in two flavors: they may be stored persistently or the may be volatile.
Handles are used to manipulate reactive lists
| hierarchical_site [Tools] |
Hierarchical sites description.
| hierarchical_site_item [Tools] |
Menu entry description in a hierarchical site.
| http [Service_sigs.TYPES] | |
I | |
| id [Content.Html.Id] |
The type of global HTML element identifier.
| id [Content.Svg.Id] |
The type of global SVG element identifier.
| identity [Notif.ARG_SIMPLE] |
see Notif.S.identity
| identity [Notif.ARG] |
see S.identity
| identity [Notif.S] |
identity is the type of values used to differentiate one listener from another.
K | |
| key [Notif.ARG_SIMPLE] |
see Notif.S.key
| key [Notif.ARG] |
see S.key
| key [Notif.S] |
key is the type of values designating a given resource.
| kind [Registration] |
The type kind is an abstract type for the HTTP frame returned by a service.
L | |
| lazy_star [Content_sigs.LINKS_AND_FORMS] | |
| list_wrap [Content.Svg] | |
| listnames [Parameter_sigs.S] |
Helpers type used to construct forms from lists, see Parameter_sigs.S.list.
M | |
| main_page [Tools] |
Main page description for a section of a hierarchical site.
| meth [Service_sigs.TYPES] |
Method specification datatype
N | |
| nl_params_set [Parameter_sigs.S] |
Use this type to give non localized parameters to a link or a form
| no_param_name [Parameter_sigs.S] |
Empty type used to denotes it is not possible to use the parameter in a form.
marshaled OCaml values of type 'a
| ocaml_content [Registration] |
The type ocaml_content is an synomyn for Service.ocaml_service to be used as a phantom type parameters for Registration.kind.
| oneradio [Parameter_sigs.S] |
Restriction of Parameter_sigs.S.setoneradio unary and optional parameters.
Abstract type for parameters' name.
| params [Service_sigs.TYPES] | |
| params_type [Parameter_sigs.S] |
Abstract type for service parameters.
| path_option [Service_sigs.S] |
Optional service path
| persistent_cookie_info [State.Ext] | |
| persistent_table [State] |
The type of persistent state data tables.
| post [Service_sigs.TYPES] | |
| put [Service_sigs.TYPES] | |
R | |
| raw_post_data [Parameter_sigs.S] |
When the content type is neither URLencoded form data nor multipart data, it is possible to get it as a stream of strings.
| redirection [Registration] |
Auxiliarry type to hide non-interesting type parameters
Scopes
| select_opt [Form_sigs.S] |
The type for <select> options and groups of options.
| server_function [Client] |
A value of type ('a, 'b) server_function is created on the server from a function 'a -> 'b Lwt.t and provides a given function on the client side.
| server_notif [Notif.ARG] |
see S.server_notif
| server_notif [Notif.S] |
server notification type; Can be different from client_notif.
| server_params [Eliom_types] | |
| service_cookie_info [State.Ext] | |
| session_group_scope [Eliom_common] | |
| session_scope [Eliom_common] | |
| setone [Parameter_sigs.S] |
Restriction of Parameter_sigs.S.setoneradio unary and set parameters.
| setoneradio [Parameter_sigs.S] |
A parameter arity could either be: `Set of 'a means: any number of 'a., `One of 'a means: exactly one 'a., `Radio of 'a means: zero or one 'a.
| signal [Shared_sigs.RLIST] | |
| site_scope [Eliom_common] | |
| sitedata [Eliom_types] | |
| soption [Form_sigs.S] | |
| srv [Tools] | |
| star [Content_sigs.LINKS_AND_FORMS] | |
| state [State.Ext] |
The type of states.
| state_status [State] | |
| suff [Parameter_sigs.S] |
This type is used as a phantom type in Parameter_sigs.S.params_type to describe whether a parameter is encoded in the path of the URI as a suffix parameter.
| sv [Shared_sigs.RLIST] |
The type of shared values
| sv [Shared_sigs.S] | |
T | |
| t [Registration.TMPL_PARAMS] | |
| t [Cscache] |
The type of association tables (implemented using Hashtbl)
| t [Shared.FakeReactiveData.RList] | |
| t [Eliom_react.S.Down] |
The abstract type of down signals.
| t [Eliom_react.Up] |
The type of events that, while being "on the server", are triggered by clients.
| t [Eliom_react.Down] |
The abstract type of down events.
| t [Content.Html.Custom_data] |
Custom data with values of type 'a.
| t [Comet.Channel] |
v t is the type of server-to-client communication channels transporting data of type v
| t [Eliom_client_value] |
Client values on the server are created by the syntax {typ{ expr }} in the server section (cf.
| t [Bus] |
The type of bus's carrying values of type 'a.
| t [Shared_sigs.RLIST] |
The type of (shared) reactive lists
| t [Shared_sigs.S] | |
| t [Shared_sigs.VALUE] | |
| t [Service_sigs.S] |
Type of services
| timeout [State.Ext] |
Type used to describe session timeouts
| to_and_of [Parameter_sigs.S] | |
U | |
| unit_service [Service_sigs.S] | |
| unknown_content [Registration] |
The type unknown_content is to be used as a phantom type parameter for Registration.kind when the content-type can't be determined statically.
| uri [Content.Html] | |
| uri [Content.Svg] | |
| uri [Form_sigs.LINKS] | |
| uri [Form_sigs.S] | |
| uri [Content_sigs.LINKS_AND_FORMS] | |
| user_level [Eliom_common] | |
| user_scope [Eliom_common] | |
V | |
| volatile_table [State] |
The type of (volatile) state data tables.
W | |
| which_meth [Service_sigs.TYPES] |
Like Service_sigs.TYPES.meth but without the parameters
| wrap [Content.Svg] | |
| wrapped_value [Wrap] | |
| wrapper [Wrap] |
'a wrapper is the type of values to include into a value of type 'a for it to be wrapped specifically
|
|