Module Eliom_registration

module Eliom_registration : sig..end

Client-side service registration.

The interface is meant to be compatible with server-side <<a_api subproject="server" | module Eliom_registration >>.

See the manual chapter on client-side services for details.

type 'a kind

type browser_content = [ `Browser ]

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

module Html : 
  Eliom_registration_sigs.S
    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

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

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

type appl_service_options = {
  do_not_launch: bool;}

module App : functor (P : Eliom_registration_sigs.APP_PARAM) -> 
  sig..end

type '_ redirection =  | Redirection of 
    (unit, unit, Eliom_service.get, 'b, 'c, 'd, 'e,
     [ `WithoutSuffix ], unit, unit, 'a)
    Eliom_service.t

module Redirection : 
  Eliom_registration_sigs.S_poly_with_send
    with type 'a page = Eliom_service.non_ocaml redirection
     and type options =
          [ `MovedPermanently
          | `Found
          | `SeeOther
          | `NotNodifed
          | `UseProxy
          | `TemporaryRedirect ]
     and type 'a return = Eliom_service.non_ocaml
     and type 'a result = browser_content kind

module Any : 
  Eliom_registration_sigs.S_poly_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

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