Server API ¶
A few common functions used by Eliom.
Returns whether the application is sent by a server or started on client side.
Client and shared values
Low level functions for Eliom, exceptions and types.
This module makes also possible get information from the configuration file.
This module contains the functions you need to get (or set) information about current request.
Server side state data, a.k.a Eliom references
Storing server-side values for your applications or sessions.
Content and form creation ¶
This module allows creating valid HTML content, or other XML formats.
Building and printing valid HTML5 tree.
Building and pretty-printing valid SVG tree.
Low-level XML manipulation.
Helpers for (hierarchical) menu generation in HTML5.
Service creation ¶
Creation and manipulation of Eliom services.
user_type ~of_string ~to_string s construct a parameter, labeled s, such that the server will have to use of_string and to_string to make the conversion between the OCaml representation of the parameter and it's representation as a string.
Eliom services registration for various kinds of page content: Eliom application, valid Eliom_registration.Html, actions, redirections, static files, ...
Eliom service registration for services that return HTML pages.
Eliom service registration for services that only execute actions.
Eliom service registration for services that send marshalled OCaml values.
Functor for application creation.
Eliom service registration for services that returns file contents.
Eliom service registration for services that choose dynamically what they want to send.
Eliom service registration for services that returns a redirections towards another service.
Client/server communication ¶
This module implements shared (i.e., client-server) versions of the React and ReactiveData libraries.
Server to client notifications.
Client-server cache for Eliom applications, that is used both for keeping data on client side or keeping values in memory during a request.
Broadcasting facilities between clients and server
Primitives to push data to the client, without explicit request.
Propagate events occurrences from the server to the client and the other way around.