Index of types
The abstract type for attached service representation.
| all_scope [Eliom_common] | |
| answer [Eliom_comet_base] | |
| appl [Eliom_output.Eliom_appl] |
The type appl is an abstract type for identifying an application.
| appl_service [Eliom_output_base] | |
| appl_service [Eliom_output] |
The type appl_service is used as a phantom type parameters for Eliom_services.service and Eliom_output.kind.
| appl_service_options [Eliom_output] |
Type for the options of an Eliom application service.
| application_content [Eliom_output] |
The type application_content is a refinement of Eliom_output.appl_service to be used as a phantom type parameters for Eliom_output.kind.
| attached [Eliom_services] |
Restriction of service_kind to attached services.
| attached_service_kind [Eliom_services] |
An attached service could either be an `Internal Eliom service or an abstraction for an `External service.
| authentication_result [Eliom_openid] |
The result of an authentication.
| author [Atom_feed] | |
B | |
| base [Atom_feed] | |
| binsum [Eliom_parameters] |
Helpers type used for parameters of type binary sum, see Eliom_parameters.sum.
| block_content [Eliom_output] |
The type block_content is a refinement of Eliom_output.http_service to be used as a phantom type parameters for Eliom_output.kind.
| browser_content [Eliom_output] |
The type browser_content is a refinement of Eliom_output.http_service to be used as a phantom type parameters for Eliom_output.kind.
marshaled OCaml values of type 'a
| caml_content [Eliom_output] |
The type caml_content is an synomyn for Eliom_parameters.caml to be used as a phantom type parameters for Eliom_output.kind.
| category [Atom_feed] | |
| chan_id [Eliom_comet_base] | |
| channel_data [Eliom_comet_base] | |
| check_fun [Eliom_openid] |
The type of the authenticate function.
None means 'newest channel'
| command [Eliom_comet_base] | |
| content [Atom_feed] | |
| contributor [Atom_feed] | |
| cookie [Eliom_cookies] |
HTTP cookies representation.
| cookie_scope [Eliom_common] |
Eliom is using regular (browser) cookies but can also use browser tab cookies (only if you are using a client side program)
| cookieset [Eliom_cookies] |
Set of cookie, grouped by path.
| coordinates [Eliom_parameters] |
The type coordinates represent the data sent by an <input type="image" ...>.
D | |
| data_session [Eliom_state.Session_admin] | |
| dateConstruct [Atom_feed] | |
E | |
| eliom_extension_sig [Eliom_extensions] |
Type of the function that must be registered to declare an eliom extension.
| emailAddress [Atom_feed] | |
| entry [Atom_feed] | |
| entryOAttr [Atom_feed] |
Children tags allowed for the entry tag
| eref [Eliom_references] |
The type of Eliom references whose content is of type 'a.
| extension [Eliom_openid] |
An extension yielding values of type 'a
F | |
| feed [Eliom_atom] |
Needed when used with Pubsubhubbub
| feed [Atom_feed] | |
| feedOAttr [Atom_feed] |
Children tags allowed for the feed tag
| field [Eliom_openid] |
A field you can request to the provider
Restriction of Eliom_services.service to registrable GET services without parameters that do not returns a marshalled OCaml value.
| get_page [Eliom_tools_common] | |
| get_service_kind [Eliom_services] |
Restriction of service_kind to services without POST parameters.
| getpost [Eliom_services] |
The kind of a service is `Post when there is at least one POST parameters.
| global_scope [Eliom_common] | |
H | |
| hierarchical_site [Eliom_tools] |
Hierarchical sites description.
| hierarchical_site [Eliom_tools_common] | |
| hierarchical_site_item [Eliom_tools] | |
| hierarchical_site_item [Eliom_tools_common] |
Hierchical sites
| href [Atom_feed] | |
| hrefLang [Atom_feed] | |
| http_service [Eliom_output_base] | |
| http_service [Eliom_output] |
The type http_service is used as a phantom type parameters for Eliom_services.service and Eliom_output.kind.
Restriction of service_kind to internal services.
K | |
| kind [Eliom_output] |
The type kind is an abstract type for the HTTP frame returned by a service.
L | |
| label [Atom_feed] | |
| lang [Atom_feed] | |
| leftright [Eliom_pervasives] | |
| length [Atom_feed] | |
| link [Atom_feed] | |
| linkOAttr [Atom_feed] |
Children tags allowed for the link tag
| link_attrib_t [Eliom_output.Forms] | |
| link_attrib_t [Eliom_mkforms.FORMS_PARAM] | |
| link_elt [Eliom_output.Forms] | |
| link_elt [Eliom_mkforms.FORMS_PARAM] | |
| listnames [Eliom_parameters] |
Helpers type used to construct forms from lists, see Eliom_parameters.list.
| logo [Atom_feed] | |
| ltitle [Atom_feed] | |
M | |
| main_page [Eliom_tools] |
Main page description for a section of a hierarchical site.
| main_page [Eliom_tools_common] | |
| mediaType [Atom_feed] | |
| metaAttr [Atom_feed] |
Common optional attributes
N | |
| na_s [Eliom_services] |
The abstract type for non-attached service representation.
| ncname [Atom_feed] | |
| nl_params_set [Eliom_parameters] |
Use this type to give non localized parameters to a link or a form
| no_param_name [Eliom_parameters] |
Empty type used to denotes it is not possible to use the parameter in a form.
| non_caml_service [Eliom_output_base] | |
| non_caml_service [Eliom_output] |
The type non_caml_service is used as phantom type parameters for the Eliom_output.kind.
| non_localized_params [Eliom_parameters] |
Non localized parameters
| nonattached [Eliom_services] |
Restriction of service_kind to non-attached services.
O | |
| one_page [Eliom_tools] |
Restriction of Eliom_services.service to services without parameters that do not returns a marshalled OCaml value.
| one_page [Eliom_tools_common] |
Menus
| oneradio [Eliom_parameters] |
Restriction of Eliom_parameters.setoneradio unary and optional parameters.
| openid_error [Eliom_openid] |
Error that may happen when identifiying an user
The pape data returned by the server
| param_name [Eliom_parameters] |
Abstract type for parameters' name.
| params_type [Eliom_parameters] |
Abstract type for service parameters.
| path [Eliom_pervasives.Url] | |
| pcdata_elt [Eliom_output.Forms] | |
| pcdata_elt [Eliom_mkforms.FORMS_PARAM] | |
| persistent_session [Eliom_state.Session_admin] | |
| persistent_table [Eliom_state] |
The type of persistent state data tables.
| personConstruct [Atom_feed] |
Children tags allowed for the author and contributor tags
| position [Eliom_comet_base] | |
| post_service_kind [Eliom_services] |
Restriction of service_kind to services with at least one POST parameters.
| published [Atom_feed] | |
R | |
| raw_input_type_t [Eliom_output.Forms] | |
| raw_input_type_t [Eliom_mkforms.FORMS_PARAM] | |
| registrable [Eliom_services] |
A service is `Registrable only if it isn't a pre-applied service, see Eliom_services.preapply.
| rel [Atom_feed] | |
| request_scope [Eliom_common] | |
| result [Eliom_openid] |
The result yielded by the authentication process
The type for <select> options and groups of options.
| select_opt [Eliom_output.Forms] |
The type for <select> options and groups of options.
| select_opt [Eliom_output.HtmlText] |
The type for <select> options and groups of options.
| select_opt [Eliom_output.Xhtml_forms] |
The type for <select> options and groups of options.
| select_opt [Eliom_output.Xhtml] |
The type for <select> options and groups of options.
| select_opt [Eliom_output.Html5_forms] |
The type for <select> options and groups of options.
| select_opt [Eliom_output.Html5] |
The type for <select> options and groups of options.
| select_opt [Eliom_mkforms.MakeForms] |
The type for <select> options and groups of options.
| servcoserv [Eliom_services] |
An internal attached service could either be a `Service or a `Coservice.
| server_params [Eliom_types_base] | |
| server_params [Eliom_types] | |
| service [Eliom_services] |
Type of services.
| service_kind [Eliom_services] |
The type service_kind describe all four kind of services: external (attached) services, (internal) attached services, (internal) attached coservices, (internal) non-attached coservices
| service_session [Eliom_state.Session_admin] |
timeout duration in seconds
| session_group_scope [Eliom_common] | |
| session_scope [Eliom_common] | |
| setone [Eliom_parameters] |
Restriction of Eliom_parameters.setoneradio unary and set parameters.
| setoneradio [Eliom_parameters] |
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.
Children tags allowed for the source tag
| state_data [Eliom_state] |
The type used for getting data from a state.
| state_status [Eliom_state] |
The following functions return the current state of the state for a given scope: Alive_state means that data has been recorded for this scope, Empty_state means that there is no data for this scope, Expired_state means that data for this scope has been removed because the timeout has been reached. The default scope is `Session.
| stateless_kind [Eliom_comet_base] | |
| suff [Eliom_services] |
The kind of parameters for a service is `WithSuffix when it have a suffix parameter, for examples Eliom_parameters.suffix or Eliom_parameters.suffix_prod.
| suff [Eliom_parameters] |
TODO
T | |
| t [Eliom_bus] |
The type of bus's carrying values of type 'a.
| 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 [Eliom_comet.Channels] |
v t is the type of server-to-client communication channels transporting data of type v
Type used to describe session timeouts
U | |
| unknown_content [Eliom_output] |
The type unknown_content is a refinement of Eliom_output.http_service to be used as a phantom type parameters for Eliom_output.kind when the content-type can't be determined staticaly.
| unwrap_id [Eliom_wrap] |
unwrap *
The type of (volatile) state data tables.
W | |
| wrapped_bus [Eliom_comet_base] | |
| wrapped_channel [Eliom_comet_base] | |
| wrapped_value [Eliom_wrap] | |
| wrapper [Eliom_wrap] |
'a wrapper is the type of values to include into a value of type 'a for it to be wraped specificaly
|
|