This is server API (go to client)

Module Eliom_registration.​Flow5

module Flow5 : sig..end

Eliom service registration and forms creation for fragment of HTML5 page. This is an instance of the Eliom_registration.​Registration abstract signature.

For Eliom application, prefers Eliom_registration.​Ocaml services to send page fragments.


Service registration

val register : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  service:('get, 'post, [< Eliom_service.service_method ],
   [< Eliom_service.attached ],
   [< Eliom_service.internal_service_kind ],
   [< Eliom_service.suff ], 'gn, 'pn, [ `Registrable ],
   [< Eliom_service.non_ocaml_service ])
   Eliom_service.service ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get -> 'post -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  unit

The function register service handler will associate the service to the function handler. The handler function take two parameters, the GET and POST parameters of the current HTTP request, and should returns the corresponding page.

The optional parameter ~scope is Eliom_common.​global_scope by default, see the Eliom manual for detailled description of different scope.

The optional parameter ~options is specific to each output module, see the type description for more information.

The optional parameters ?charset, ?code, ?content_type and ?headers can be used to modify the HTTP answer sent by Eliom. Use this with care.

The optional parameter ~secure_session has no effect for scope Eliom_common.​global_scope. With other scopes, the parameter is used to force the session service table in which the handler will be registered. By default, the service is registred in the unsecure session if the current request's protocol is http, or in the secure session if the protocol is https. If set to false (resp. true) the handler will be stored in the unsecure (resp. secure) session. See the Eliom manual for an introduction to secure state.

The optional parameter ~error_handler is used to specialize the error page when actual parameters aren't compatible with the expected type. The default error handler is fun l -> raise (Eliom_common.​Eliom_Typing_Errorl).

val register_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  path:Eliom_lib.Url.path ->
  get_params:('get, [< Eliom_service.suff ] as 'a, 'gn)
   Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get -> unit -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, unit, [< Eliom_service.service_method > `Get ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `Service ], 'a, 'gn,
   unit, [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  fallback:(unit, unit, [ `Get ], Eliom_service.attached_kind,
   [ `Service ], [ `WithoutSuffix ], unit, unit,
   [< Eliom_service.registrable ],
   [< Eliom_service.non_ocaml_service ])
   Eliom_service.service ->
  get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get -> unit -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, unit, [< Eliom_service.service_method > `Get ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `AttachedCoservice ],
   [ `WithoutSuffix ], 'gn, unit,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get -> unit -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, unit, [< Eliom_service.service_method > `Get ],
   [< Eliom_service.attached > `Nonattached ],
   [< Eliom_service.service_kind > `NonattachedCoservice ],
   [ `WithoutSuffix ], 'gn, unit,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_post_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  fallback:('get, unit, [ `Get ], Eliom_service.attached_kind,
   [ `AttachedCoservice | `Service ],
   [< Eliom_service.suff ] as 'a, 'gn, unit, [<
   `Registrable ], [< Eliom_service.non_ocaml_service ])
   Eliom_service.service ->
  post_params:('post, [ `WithoutSuffix ], 'pn)
   Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get -> 'post -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, 'post, [< Eliom_service.service_method > `Post ],
   [< Eliom_service.attached > `Attached ],
   [ `AttachedCoservice | `Service ], 'a, 'gn, 'pn,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_post_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  fallback:('get, unit, [< `Get ], [< Eliom_service.attached_kind ],
   [< `AttachedCoservice | `Service ],
   [< Eliom_service.suff ] as 'a, 'gn, unit, [<
   `Registrable ], [< Eliom_service.non_ocaml_service ])
   Eliom_service.service ->
  post_params:('post, [ `WithoutSuffix ], 'pn)
   Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get -> 'post -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, 'post, [< Eliom_service.service_method > `Post ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `AttachedCoservice ], 'a, 'gn, 'pn,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_post_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?keep_get_na_params:bool ->
  ?https:bool ->
  post_params:('post, [ `WithoutSuffix ], 'pn)
   Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  (unit -> 'post -> Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  (unit, 'post, [< Eliom_service.service_method > `Post ],
   [< Eliom_service.attached > `Nonattached ],
   [< Eliom_service.service_kind > `NonattachedCoservice ],
   [ `WithoutSuffix ], unit, 'pn,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_put_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  path:Eliom_lib.Url.path ->
  get_params:('get, [< Eliom_service.suff ] as 'a, 'gn)
   Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get ->
   Eliom_parameter.raw_post_data ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, Eliom_parameter.raw_post_data,
   [< Eliom_service.service_method > `Put ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `Service ], 'a, 'gn,
   Eliom_parameter.no_param_name,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_put_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  fallback:(unit, Eliom_parameter.raw_post_data, [ `Put ],
   Eliom_service.attached_kind, [ `Service ],
   [ `WithoutSuffix ], unit, Eliom_parameter.no_param_name,
   [< Eliom_service.registrable ],
   [< Eliom_service.non_ocaml_service ])
   Eliom_service.service ->
  get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get ->
   Eliom_parameter.raw_post_data ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, Eliom_parameter.raw_post_data,
   [< Eliom_service.service_method > `Put ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `AttachedCoservice ],
   [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_put_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get ->
   Eliom_parameter.raw_post_data ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, Eliom_parameter.raw_post_data,
   [< Eliom_service.service_method > `Put ],
   [< Eliom_service.attached > `Nonattached ],
   [< Eliom_service.service_kind > `NonattachedCoservice ],
   [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_delete_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  path:Eliom_lib.Url.path ->
  get_params:('get, [< Eliom_service.suff ] as 'a, 'gn)
   Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get ->
   Eliom_parameter.raw_post_data ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, Eliom_parameter.raw_post_data,
   [< Eliom_service.service_method > `Delete ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `Service ], 'a, 'gn,
   Eliom_parameter.no_param_name,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_delete_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  fallback:(unit, Eliom_parameter.raw_post_data, [ `Delete ],
   Eliom_service.attached_kind, [ `Service ],
   [ `WithoutSuffix ], unit, Eliom_parameter.no_param_name,
   [< Eliom_service.registrable ],
   [< Eliom_service.non_ocaml_service ])
   Eliom_service.service ->
  get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get ->
   Eliom_parameter.raw_post_data ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, Eliom_parameter.raw_post_data,
   [< Eliom_service.service_method > `Delete ],
   [< Eliom_service.attached > `Attached ],
   [< Eliom_service.service_kind > `AttachedCoservice ],
   [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service
val register_delete_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
  ?error_handler:((string * exn) list ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get ->
   Eliom_parameter.raw_post_data ->
   Html5_types.flow5 Eliom_content.Html5.elt list Lwt.t) ->
  ('get, Eliom_parameter.raw_post_data,
   [< Eliom_service.service_method > `Delete ],
   [< Eliom_service.attached > `Nonattached ],
   [< Eliom_service.service_kind > `NonattachedCoservice ],
   [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
   [< Eliom_service.registrable > `Registrable ],
   [> Eliom_service.http_service ])
  Eliom_service.service

Low-level function

val send : 
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  Html5_types.flow5 Eliom_content.Html5.elt list ->
  Eliom_registration.block_content Eliom_registration.kind Lwt.t

The function send page build the HTTP frame corresponding to page. This may be used for example in an service handler registered with Eliom_registration.​Any.​register or when building a custom output module.