Module type Eliom_output.​Eliom_appl

module type Eliom_appl = sig..end

type appl

type page = HTML5_types.html Eliom_pervasives.HTML5.M.elt

type options = Eliom_output.appl_service_options

type return = Eliom_output.appl_service

type result = 
  (appl Eliom_output.application_content,
   Eliom_output.appl_service)
  Eliom_output.kind

val send : 
  ?options:Eliom_output.appl_service_options ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  HTML5_types.html Eliom_pervasives.HTML5.M.elt ->
  (appl Eliom_output.application_content,
   Eliom_output.appl_service)
  Eliom_output.kind Lwt.t

val register : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  service:('a, 'b, [< Eliom_services.internal_service_kind ],
           [< Eliom_services.suff ], 'c, 'd, [ `Registrable ],
           Eliom_output.appl_service)
          Eliom_services.service ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> 'b -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  unit

val register_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  path:Eliom_pervasives.Url.path ->
  get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
             Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> unit -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, unit,
   [> `Attached of
        ([> `Internal of [> `Service ] ], [> `Get ]) Eliom_services.a_s ],
   'b, 'c, unit, [> `Registrable ], Eliom_output.appl_service)
  Eliom_services.service

val register_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?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,
            [ `Attached of
                ([ `Internal of [ `Service ] ], [ `Get ])
                Eliom_services.a_s ],
            [ `WithoutSuffix ], unit, unit,
            [< Eliom_services.registrable ], Eliom_output.appl_service)
           Eliom_services.service ->
  get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> unit -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, unit,
   [> `Attached of
        ([> `Internal of [> `Coservice ] ], [> `Get ])
        Eliom_services.a_s ],
   [ `WithoutSuffix ], 'b, unit, [> `Registrable ],
   Eliom_output.appl_service)
  Eliom_services.service

val register_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?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:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> unit -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
   [ `WithoutSuffix ], 'b, unit, [> `Registrable ],
   Eliom_output.appl_service)
  Eliom_services.service

val register_post_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  fallback:('a, unit,
            [ `Attached of
                ([ `Internal of [ `Coservice | `Service ] ], [ `Get ])
                Eliom_services.a_s ],
            [< Eliom_services.suff ] as 'b, 'c, unit, [< 
            `Registrable ], 'd)
           Eliom_services.service ->
  post_params:('e, [ `WithoutSuffix ], 'f) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> 'e -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, 'e,
   [> `Attached of
        ([> `Internal of [ `Coservice | `Service ] ], [> `Post ])
        Eliom_services.a_s ],
   'b, 'c, 'f, [> `Registrable ], Eliom_output.appl_service)
  Eliom_services.service

val register_post_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?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:('a, unit,
            [ `Attached of
                ([ `Internal of [< `Coservice | `Service ] ], [ `Get ])
                Eliom_services.a_s ],
            [< Eliom_services.suff ] as 'b, 'c, unit, [< 
            `Registrable ], Eliom_output.appl_service)
           Eliom_services.service ->
  post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> 'd -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, 'd,
   [> `Attached of
        ([> `Internal of [> `Coservice ] ], [> `Post ])
        Eliom_services.a_s ],
   'b, 'c, 'e, [> `Registrable ], Eliom_output.appl_service)
  Eliom_services.service

val register_post_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:Eliom_output.appl_service_options ->
  ?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:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  (unit -> 'a -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
   [ `WithoutSuffix ], unit, 'b, [> `Registrable ],
   Eliom_output.appl_service)
  Eliom_services.service

val application_name : string

val typed_name : appl Eliom_output.application_name

val application_script : unit -> [> `Script ] Eliom_pervasives.HTML5.M.elt