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 (* : sigend) -> 
  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