The type appl is an abstract type for identifying an application.
appl
Type for the options of an Eliom application service.
The type application_content is a refinement of appl_service to be used as a phantom type parameters for Eliom_registration.kind.
application_content
appl_service
Eliom_registration.kind
Typed application name
Helpers type used for parameters of type binary sum, see Eliom_parameter_sigs.S.sum.
Eliom_parameter_sigs.S.sum
The type block_content is to be used as a phantom type parameter for Eliom_registration.kind.
block_content
The type browser_content is to be used as a phantom type parameter for Eliom_registration.kind.
browser_content
Values of type caml_event_handler represents event handler build with the {{ ... }} syntax (see the Eliom manual for more information on ).
caml_event_handler
{{ ... }}
Client-side version of 'a handle
see S.client_notif
S.client_notif
client notification type; Can be different from server_notif.
server_notif
The type coordinates represents the data sent by an <input type="image" ...>.
coordinates
<input type="image" ...>
Client-side version of 'a t
Type of the function that must be registered to declare an eliom extension.
The type of volatile Eliom references.
The type of Eliom references whose content is of type 'a.
'a
Eliom references come in two flavors: they may be stored persistently or the may be volatile.
Handles are used to manipulate reactive lists
Hierarchical sites description.
Menu entry description in a hierarchical site.
The type of global HTML element identifier.
The type of global SVG element identifier.
see Eliom_notif.S.identity
Eliom_notif.S.identity
see S.identity
S.identity
identity is the type of values used to differentiate one listener from another.
identity
see Eliom_notif.S.key
Eliom_notif.S.key
see S.key
S.key
key is the type of values designating a given resource.
key
The type kind is an abstract type for the HTTP frame returned by a service.
kind
Helpers type used to construct forms from lists, see Eliom_parameter_sigs.S.list.
Eliom_parameter_sigs.S.list
Main page description for a section of a hierarchical site.
Method specification datatype
Use this type to give non localized parameters to a link or a form
Empty type used to denotes it is not possible to use the parameter in a form.
marshaled OCaml values of type 'a
The type ocaml_content is an synomyn for Eliom_service.ocaml_service to be used as a phantom type parameters for Eliom_registration.kind.
ocaml_content
Eliom_service.ocaml_service
Restriction of Eliom_parameter_sigs.S.setoneradio unary and optional parameters.
Eliom_parameter_sigs.S.setoneradio
Abstract type for parameters' name.
Abstract type for service parameters.
Optional service path
The type of persistent state data tables.
When the content type is neither URLencoded form data nor multipart data, it is possible to get it as a stream of strings.
Auxiliarry type to hide non-interesting type parameters
Scopes
The type for <select> options and groups of options.
<select>
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.
('a, 'b) server_function
'a -> 'b Lwt.t
see S.server_notif
S.server_notif
server notification type; Can be different from client_notif.
client_notif
Restriction of Eliom_parameter_sigs.S.setoneradio unary and set 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.
`Set of 'a
`One of 'a
`Radio of 'a
The type of states.
This type is used as a phantom type in Eliom_parameter_sigs.S.params_type to describe whether a parameter is encoded in the path of the URI as a suffix parameter.
Eliom_parameter_sigs.S.params_type
The type of shared values
The type of association tables (implemented using Hashtbl)
The abstract type of down signals.
The type of events that, while being "on the server", are triggered by clients.
The abstract type of down events.
Custom data with values of type 'a.
v t is the type of server-to-client communication channels transporting data of type v
v t
v
Client values on the server are created by the syntax {typ{ expr }} in the server section (cf.
{typ{ expr }}
The type of bus's carrying values of type 'a.
The type of (shared) reactive lists
Type of services
Type used to describe session timeouts
The type unknown_content is to be used as a phantom type parameter for Eliom_registration.kind when the content-type can't be determined statically.
unknown_content
The type of (volatile) state data tables.
Like Eliom_service_sigs.TYPES.meth but without the parameters
Eliom_service_sigs.TYPES.meth
'a wrapper is the type of values to include into a value of type 'a for it to be wrapped specifically
'a wrapper