Index of types

The type appl is an abstract type for identifying an application.

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.

Typed application name

Helpers type used for parameters of type binary sum, see Eliom_parameter_sigs.S.sum.

The type block_content is to be used as a phantom type parameter for Eliom_registration.kind.

The type browser_content is to be used as a phantom type parameter for Eliom_registration.kind.

Values of type caml_event_handler represents event handler build with the {{ ... }} syntax (see the Eliom manual for more information on syntax extension).

Client-side version of 'a handle

see S.client_notif

client notification type; Can be different from server_notif.

The type coordinates represents the data sent by an <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.

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

see S.identity

identity is the type of values used to differentiate one listener from another.

see Eliom_notif.S.key

see S.key

key is the type of values designating a given resource.

The type kind is an abstract type for the HTTP frame returned by a service.

Helpers type used to construct forms from lists, see Eliom_parameter_sigs.S.list.

Main page description for a section of a hierarchical site.

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.

Restriction of Eliom_parameter_sigs.S.setoneradio unary and optional parameters.

Abstract type for parameters' name.

Abstract type for service parameters.

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.

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.

see S.server_notif

server notification type; Can be different from 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.

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.

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

Client values on the server are created by the syntax {typ{ expr }} in the server section (cf.

The type of bus's carrying values of type 'a.

The type of (shared) reactive lists

For a service ('get, 'post, 'meth, 'attached, 'co, 'ext, 'reg, 'tipo, 'gn, 'pn, 'ret) t:

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.

The type of (volatile) state data tables.

Like Eliom_service_sigs.TYPES.meth but without the parameters

'a wrapper is the type of values to include into a value of type 'a for it to be wrapped specifically