Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Index of types


A
all_scope [Eliom_common]
app_id [Eliom_registration.APP]

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

appl_service_options [Eliom_registration]

Type for the options of an Eliom application service.

application_content [Eliom_registration]

The type application_content is a refinement of appl_service to be used as a phantom type parameters for Eliom_registration.kind.

application_name [Eliom_registration]

Typed application name

att [Eliom_service_sigs.S]
attached_info [Eliom_service_sigs.S]
attrib [Eliom_content.Html]
attrib [Eliom_content.Svg]
attrib [Eliom_form_sigs.LINKS]
attrib [Eliom_form_sigs.S]
attrib [Eliom_content_sigs.LINKS_AND_FORMS]

B
binsum [Eliom_parameter_sigs.S]

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

block_content [Eliom_registration]

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

browser_content [Eliom_registration]

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

button_type [Eliom_form_sigs]

C
caml_event_handler [Eliom_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 [Eliom_shared_sigs.RLIST]

Client-side version of 'a handle

client_notif [Eliom_notif.ARG]

see S.client_notif

client_notif [Eliom_notif.S]

client notification type; Can be different from server_notif.

client_process_scope [Eliom_common]
co [Eliom_service_sigs.TYPES]
comet_scope [Eliom_comet.Channel]
cookie_level [Eliom_common]
cookie_scope [Eliom_common]
coordinates [Eliom_parameter_sigs.S]

The type coordinates represents the data sent by an <input type="image" ...>.

ct [Eliom_shared_sigs.RLIST]

Client-side version of 'a t


D
data_cookie_info [Eliom_state.Ext]
delete [Eliom_service_sigs.TYPES]

E
eliom_extension_sig [Eliom_extension]

Type of the function that must be registered to declare an eliom extension.

elt [Eliom_content.Html]
elt [Eliom_content.Svg]
elt [Eliom_form_sigs.LINKS]
elt [Eliom_form_sigs.S]
elt [Eliom_content_sigs.LINKS_AND_FORMS]
eref [Eliom_reference.Volatile]

The type of volatile Eliom references.

eref [Eliom_reference]

The type of Eliom references whose content is of type 'a.

eref' [Eliom_reference]

Eliom references come in two flavors: they may be stored persistently or the may be volatile.

ext [Eliom_service_sigs.TYPES]

F
file_info [Eliom_lib]
form_param [Eliom_content.Html]
form_param [Eliom_content_sigs.LINKS_AND_FORMS]
frame [Eliom_registration_sigs.PARAM_POLY]
frame [Eliom_registration_sigs.PARAM]
full_state_name [Eliom_common]

G
get [Eliom_service_sigs.TYPES]
global_scope [Eliom_common]

H
handle [Eliom_shared.FakeReactiveData.RList]
handle [Eliom_shared_sigs.RLIST]

Handles are used to manipulate reactive lists

hierarchical_site [Eliom_tools]

Hierarchical sites description.

hierarchical_site_item [Eliom_tools]

Menu entry description in a hierarchical site.

http [Eliom_service_sigs.TYPES]

I
id [Eliom_content.Html.Id]

The type of global HTML element identifier.

id [Eliom_content.Svg.Id]

The type of global SVG element identifier.

identity [Eliom_notif.ARG_SIMPLE]
identity [Eliom_notif.ARG]

see S.identity

identity [Eliom_notif.S]

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


K
key [Eliom_notif.ARG_SIMPLE]
key [Eliom_notif.ARG]

see S.key

key [Eliom_notif.S]

key is the type of values designating a given resource.

kind [Eliom_registration]

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


L
lazy_star [Eliom_content_sigs.LINKS_AND_FORMS]
list_wrap [Eliom_content.Svg]
listnames [Eliom_parameter_sigs.S]

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


M
main_page [Eliom_tools]

Main page description for a section of a hierarchical site.

meth [Eliom_service_sigs.TYPES]

Method specification datatype


N
nl_params_set [Eliom_parameter_sigs.S]

Use this type to give non localized parameters to a link or a form

no_param_name [Eliom_parameter_sigs.S]

Empty type used to denotes it is not possible to use the parameter in a form.

non_att [Eliom_service_sigs.S]
non_co [Eliom_service_sigs.TYPES]
non_ext [Eliom_service_sigs.TYPES]
non_localized_params [Eliom_parameter_sigs.S]
non_ocaml [Eliom_service_sigs.TYPES]
non_reg [Eliom_service_sigs.TYPES]
notification [Eliom_notif.ARG_SIMPLE]

O
ocaml [Eliom_service_sigs.TYPES]
ocaml [Eliom_parameter_sigs.S]

marshaled OCaml values of type 'a

ocaml_content [Eliom_registration]

The type ocaml_content is an synomyn for Eliom_service.ocaml_service to be used as a phantom type parameters for Eliom_registration.kind.

oneradio [Eliom_parameter_sigs.S]

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

options [Eliom_registration_sigs.S_poly]
options [Eliom_registration_sigs.S]
options [Eliom_registration_sigs.PARAM_POLY]
options [Eliom_registration_sigs.PARAM]

P
page [Eliom_registration_sigs.S_poly]
page [Eliom_registration_sigs.S]
page [Eliom_registration_sigs.PARAM_POLY]
page [Eliom_registration_sigs.PARAM]
param [Eliom_form_sigs.S]
param_name [Eliom_parameter_sigs.S]

Abstract type for parameters' name.

params [Eliom_service_sigs.TYPES]
params_type [Eliom_parameter_sigs.S]

Abstract type for service parameters.

path_option [Eliom_service_sigs.S]

Optional service path

persistent_cookie_info [Eliom_state.Ext]
persistent_table [Eliom_state]

The type of persistent state data tables.

post [Eliom_service_sigs.TYPES]
put [Eliom_service_sigs.TYPES]

R
raw_post_data [Eliom_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 [Eliom_registration]

Auxiliarry type to hide non-interesting type parameters

reg [Eliom_service_sigs.TYPES]
request_scope [Eliom_common]
result [Eliom_service_sigs.S]
result [Eliom_registration_sigs.S_poly_with_create_with_send]
result [Eliom_registration_sigs.S_poly_with_send]
result [Eliom_registration_sigs.S]
result [Eliom_registration_sigs.PARAM]
return [Eliom_registration_sigs.S_poly]
return [Eliom_registration_sigs.S]
return [Eliom_registration_sigs.PARAM_POLY]

S
scope [Eliom_common]
scope_hierarchy [Eliom_common]

Scopes

select_opt [Eliom_form_sigs.S]

The type for <select> options and groups of options.

server_function [Eliom_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 [Eliom_notif.ARG]

see S.server_notif

server_notif [Eliom_notif.S]

server notification type; Can be different from client_notif.

server_params [Eliom_types]
service_cookie_info [Eliom_state.Ext]
session_group_scope [Eliom_common]
session_scope [Eliom_common]
setone [Eliom_parameter_sigs.S]

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

setoneradio [Eliom_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 [Eliom_shared_sigs.RLIST]
site_scope [Eliom_common]
sitedata [Eliom_types]
soption [Eliom_form_sigs.S]
srv [Eliom_tools]
star [Eliom_content_sigs.LINKS_AND_FORMS]
state [Eliom_state.Ext]

The type of states.

state_status [Eliom_state]
suff [Eliom_parameter_sigs.S]

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.

sv [Eliom_shared_sigs.RLIST]

The type of shared values

sv [Eliom_shared_sigs.S]

T
t [Eliom_registration.TMPL_PARAMS]
t [Eliom_cscache]

The type of association tables (implemented using Hashtbl)

t [Eliom_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 [Eliom_content.Html.Custom_data]

Custom data with values of type 'a.

t [Eliom_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 [Eliom_bus]

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

t [Eliom_shared_sigs.RLIST]

The type of (shared) reactive lists

t [Eliom_shared_sigs.S]
t [Eliom_shared_sigs.VALUE]
t [Eliom_service_sigs.S]

Type of services

timeout [Eliom_state.Ext]

Type used to describe session timeouts

to_and_of [Eliom_parameter_sigs.S]

U
unit_service [Eliom_service_sigs.S]
unknown_content [Eliom_registration]

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.

uri [Eliom_content.Html]
uri [Eliom_content.Svg]
uri [Eliom_form_sigs.LINKS]
uri [Eliom_form_sigs.S]
uri [Eliom_content_sigs.LINKS_AND_FORMS]
user_level [Eliom_common]
user_scope [Eliom_common]

V
volatile_table [Eliom_state]

The type of (volatile) state data tables.


W
which_meth [Eliom_service_sigs.TYPES]

Like Eliom_service_sigs.TYPES.meth but without the parameters

wrap [Eliom_content.Svg]
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 wrapped specifically