This is server API (go to client)

Module Eliom_registration

module Eliom_registration : sig..end

Eliom services registration for various kinds of page content: Eliom application, valid Html, actions, redirections, static files, …


Please read the Eliom manual before this page to learn how to use services and predefined outputs .

Please read the Eliom manual before this page to learn how to use services and predefined outputs .

Please read the Eliom manual before this page to learn how to use services and predefined outputs .

Type definitions

type 'a kind

The type kind is an abstract type for the HTTP frame returned by a service. The type parameter indicates the content type, and is one of the following types:

Return types for Eliom_service.service

Return types for Eliom_service.service

Classical content

type browser_content = [ `Browser ]

The type browser_content is to be used as a phantom type parameter for Eliom_registration.​kind. It means the returned content must be interpreted in the browser as stated by the content-type header. This is most common return type for an eliom service, see for example Html, CssText, File, Redirection.

type block_content

The type block_content is to be used as a phantom type parameter for Eliom_registration.​kind. It means the returned content is a subtree of an XML value. See for example Block5 or Make_typed_xml_registration.

type unknown_content

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. See Text or Any.

Application content

type 'a application_content = [ `Appl of 'a ]

The type application_content is a refinement of appl_service to be used as a phantom type parameters for Eliom_registration.​kind. The parameter 'a is phantom type that is unique for a given application.