Module `Eliom_registration`Source

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 <<a_manual chapter="server-services" | services >> and <<a_manual chapter="server-outputs" | predefined outputs >>.

<<outline| <<header| **Table of contents** >> >>

Type definitions

Sourcetype '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:

application_content
browser_content
block_content
unknown_content
ocaml_content

Return types for `Eliom_service.service`

Classical content

Sourcetype 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.

Sourcetype 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.

Sourcetype 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

Sourcetype '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.

Sourcetype 'a application_name

Typed application name

OCaml content

Sourcetype 'a ocaml_content

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

Using HTML with services

Source

module Html : 
  Eliom_registration_sigs.S_with_create
    with type page = Html_types.html Eliom_content.Html.elt
     and type options = unit
     and type return = Eliom_service.non_ocaml
     and type result = browser_content kind

Eliom service registration for services that return HTML pages.

Eliom client/server applications

Sourcetype appl_service_options = {

do_not_launch : bool;

}

Type for the options of an Eliom application service.

If you set do_not_launch to true when creating an application service, it will send the page without launching the client side program. However, if the program is already lanched, the client side process won't be stopped. Use this if some of your pages are not using the client side program and you want to make them load faster.

Sourceval default_appl_service_options : appl_service_options

The default options record for an eliom service. See appl_service_options.

Sourcemodule type APP = sig ... end

Source

val transform_global_app_uri : 
  (Eliom_content.Html.uri -> Eliom_content.Html.uri) ref

Function to modify the global_app URI for some obscure reason

Sourcemodule App (_ : Eliom_registration_sigs.APP_PARAM) : APP

Functor for application creation. See <<a_manual chapter="clientserver-applications" | the chapter on applications >> in the Eliom manual for details.

Sourcemodule type TMPL_PARAMS = sig ... end

Source

module Eliom_tmpl
  (App : APP)
  (Tmpl_param : TMPL_PARAMS) : 
  Eliom_registration_sigs.S_with_create
    with type page = Tmpl_param.t
     and type options = appl_service_options
     and type return = Eliom_service.non_ocaml
     and type result = App.app_id application_content kind

Services returning HTML (or other TyXML) fragments

Source

module Flow5 : 
  Eliom_registration_sigs.S_with_create
    with type page = Html_types.flow5 Eliom_content.Html.elt list
     and type options = unit
     and type return = Eliom_service.non_ocaml
     and type result = block_content kind

Eliom service registration and forms creation for fragment of HTML page.

Untyped pages

Source

module Html_text : 
  Eliom_registration_sigs.S_with_create
    with type page = string
     and type options = unit
     and type return = Eliom_service.non_ocaml
     and type result = browser_content kind

Eliom service registration and forms creation for untyped HTML page. The page content is a string that must contains valid HTML and the content type is always text/html.

Source

module CssText : 
  Eliom_registration_sigs.S_with_create
    with type page = string
     and type options = int
     and type return = Eliom_service.non_ocaml
     and type result = browser_content kind

Eliom service registration for services that returns CSS. The page content is a string that must contains valid CSS and the content type is always text/css. The option is the optional "Cache-policy: max-age" header value to be sent.

Other kinds of services

Source

module Action : 
  Eliom_registration_sigs.S_with_create
    with type return = Eliom_service.non_ocaml
     and type page = unit
     and type options = [ `Reload | `NoReload ]
     and type result = browser_content kind

Eliom service registration for services that only execute actions. See the Eliom manual for more information about <<a_manual chapter="server-outputs" fragment="actions"|Actions outputs>>.

Source

module Unit : 
  Eliom_registration_sigs.S_with_create
    with type page = unit
     and type options = unit
     and type return = Eliom_service.non_ocaml
     and type result = browser_content kind

Similar to Actions with `NoReload option.

Sourcetype _ redirection =

| Redirection : (unit, unit, Eliom_service.get, _, _, _, _, [ `WithoutSuffix ], unit, unit, 'a) Eliom_service.t -> 'a redirection

Auxiliarry type to hide non-interesting type parameters

Sourcemodule Redirection : sig ... end

Eliom service registration for services that returns a redirections towards another service. See the Eliom manual for more information about <<a_manual chapter="server-outputs" fragment="redirections"|Redirections outputs>>.

Source

module String_redirection : 
  Eliom_registration_sigs.S_with_create
    with type page = Eliom_lib.Url.uri
     and type options =
           [ `MovedPermanently
           | `Found
           | `SeeOther
           | `NotNodifed
           | `UseProxy
           | `TemporaryRedirect ]
     and type return = Eliom_service.non_ocaml
     and type result = browser_content kind

Eliom service registration for services that returns a redirections towards a string-URL. See the Eliom manual for more information about <<a_manual chapter="server-outputs" fragment="redirections"|Redirections outputs>>. The URL given must be an absolute URI.

Sourcemodule File : sig ... end

Eliom service registration for services that returns file contents. The value returned by service handlers is the name of the file to send. See the Eliom manual for more information on <<a_manual chapter="server-outputs" fragment="eliomfiles"|how to send files with Eliom>>. The option is the optional "Cache-policy: max-age" header value to be sent.

Sourcemodule File_ct : sig ... end

Same as file but makes possible to specify the content type for each file. The value returned by service handlers is a pair (file_name, content_type).

Source

module Ocaml : 
  Eliom_registration_sigs.S_poly_with_create_with_send
    with type 'a page = 'a
     and type options = unit
     and type 'a return = 'a Eliom_service.ocaml
     and type 'a result = 'a ocaml_content kind

Eliom service registration for services that send marshalled OCaml values.

Source

module Any : 
  Eliom_registration_sigs.S_poly_with_create_with_send
    with type 'a page = 'a kind
     and type options = unit
     and type 'a return = Eliom_service.non_ocaml
     and type 'a result = 'a kind

Eliom service registration for services that choose dynamically what they want to send. The content is created using for example Html.send or String.send functions. See the Eliom manual for more information about <<a_manual chapter="server-outputs" fragment="any"|services that choose dynamically what they want to send>>

Source

val appl_self_redirect : 
  ('page -> [< 'a application_content | browser_content ] kind Lwt.t) ->
  'page ->
  'appl application_content kind Lwt.t

The function appl_self_redirect send page is an helper function required for defining Any service usable inside an Eliom application (App). It allows casting an Eliom senders that do not returns application_content (like File.send, String.send, ...) into a senders returns application_content.

When the service is called from an Eliom application, this is implemented with half-redirection (a redirection that leaves the application). Hence, the service may be called two times in a row and you should not use this function for services that use POST parameters.

Source

module String : 
  Eliom_registration_sigs.S_with_create
    with type page = string * string
     and type options = int
     and type return = Eliom_service.non_ocaml
     and type result = unknown_content kind

Eliom service registration for services that returns "byte"-string contents. The page content is a pair (raw_content, content_type). See also Streamlist for another kind of service that returns "byte" contents. The option is the optional "Cache-policy: max-age" header value to be sent.

Customizing registration

Source

module Customize
  (R : Eliom_registration_sigs.S_with_create)
  (T : sig ... end) : 
  Eliom_registration_sigs.S_with_create
    with type options = R.options
     and type return = R.return
     and type page = T.page
     and type result = R.result

The Customize functor allows specialization of service registration functions by customizing the page type. See the <<a_manual project="tutorial" chapter="interaction"| Eliom tutorial>> for example.

Using your own error pages

Sourceval set_exn_handler : (exn -> browser_content kind Lwt.t) -> unit

The set_exn_handler handler allows redefinition of error pages: 404 or any exception during page generation.

Note that you should not catch every exception here since some Eliom mechanisms are done using exceptions, like redirections. Do not catch exception defined in Eliom except Eliom_common.Eliom_404, Eliom_common.Eliom_Wrong_parameter Eliom_common.Eliom_Typing_Error.

Warning: This functions must be called when the site information is available, that is, either during a request or during the initialisation phase of the site. Otherwise, it will raise the exception Eliom_common.Eliom_site_information_not_available. If you are using static linking, you must delay the call to this function until the configuration file is read, using Eliom_service.register_eliom_module. Otherwise you will also get this exception.

Unsafe cast of contents

Sourceval cast_unknown_content_kind : unknown_content kind -> 'a kind

If you know that the content you generated using Text.send or Streamlist.send is the same as some other kind, you can cast it with cast_unknown_content_kind for use with Any module.

Sourceval cast_http_result : Ocsigen_response.t -> 'a kind

cast_http_result should only be used to register new output modules

Sourceval extension : Ocsigen_server.Site.extension

Sourceval end_init : unit -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/eliom.server/Eliom_registration/index.html

Module `Eliom_registration`Source

Type definitions

Return types for `Eliom_service.service`

Classical content

Application content

OCaml content

Using HTML with services

Eliom client/server applications

Services returning HTML (or other TyXML) fragments

Untyped pages

Other kinds of services

Customizing registration

Using your own error pages

Unsafe cast of contents

package eliom

Install

Dune Dependency

Authors

Maintainers

Sources

doc/eliom.server/Eliom_registration/index.html

Module Eliom_registrationSource

Type definitions

Return types for Eliom_service.service

Classical content

Application content

OCaml content

Using HTML with services

Eliom client/server applications

Services returning HTML (or other TyXML) fragments

Untyped pages

Other kinds of services

Customizing registration

Using your own error pages

Unsafe cast of contents

Module `Eliom_registration`Source

Return types for `Eliom_service.service`