Module Eliom_output.​Redirection

module Redirection : sig..end

type ('a, 'b) page = 
  (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
   unit, unit, Eliom_services.registrable, 'b)
  Eliom_services.service

type options = [ `Permanent | `Temporary ]

type 'a return = 'a

type ('a, 'b) result = ('a, 'b) Eliom_output.kind

val send : 
  ?options:[ `Permanent | `Temporary ] ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
   unit, unit, Eliom_services.registrable, 'a)
  Eliom_services.service -> ('b, 'a) Eliom_output.kind Lwt.t

val register : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ], 'e)
          Eliom_services.service ->
  ?error_handler:((string * exn) list ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'e)
                  Eliom_services.service Lwt.t) ->
  ('a ->
   'b ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'e)
   Eliom_services.service Lwt.t) ->
  unit

val register_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'd)
                  Eliom_services.service Lwt.t) ->
  ('a ->
   unit ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'd)
   Eliom_services.service Lwt.t) ->
  ('a, unit,
   [> `Attached of
        ([> `Internal of [> `Service ] ], [> `Get ]) Eliom_services.a_s ],
   'b, 'c, unit, [> `Registrable ], 'd)
  Eliom_services.service

val register_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ], 'a)
           Eliom_services.service ->
  get_params:('b, [ `WithoutSuffix ], 'c) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'a)
                  Eliom_services.service Lwt.t) ->
  ('b ->
   unit ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'a)
   Eliom_services.service Lwt.t) ->
  ('b, unit,
   [> `Attached of
        ([> `Internal of [> `Coservice ] ], [> `Get ])
        Eliom_services.a_s ],
   [ `WithoutSuffix ], 'c, unit, [> `Registrable ], 'a)
  Eliom_services.service

val register_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'c)
                  Eliom_services.service Lwt.t) ->
  ('a ->
   unit ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'c)
   Eliom_services.service Lwt.t) ->
  ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
   [ `WithoutSuffix ], 'b, unit, [> `Registrable ], 'c)
  Eliom_services.service

val register_post_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'g)
                  Eliom_services.service Lwt.t) ->
  ('a ->
   'e ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'g)
   Eliom_services.service Lwt.t) ->
  ('a, 'e,
   [> `Attached of
        ([> `Internal of [ `Coservice | `Service ] ], [> `Post ])
        Eliom_services.a_s ],
   'b, 'c, 'f, [> `Registrable ], 'g)
  Eliom_services.service

val register_post_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ], 'd)
           Eliom_services.service ->
  post_params:('e, [ `WithoutSuffix ], 'f) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'd)
                  Eliom_services.service Lwt.t) ->
  ('a ->
   'e ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'd)
   Eliom_services.service Lwt.t) ->
  ('a, 'e,
   [> `Attached of
        ([> `Internal of [> `Coservice ] ], [> `Post ])
        Eliom_services.a_s ],
   'b, 'c, 'f, [> `Registrable ], 'd)
  Eliom_services.service

val register_post_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:[ `Permanent | `Temporary ] ->
  ?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 ->
                  (unit, unit, Eliom_services.get_service_kind,
                   [ `WithoutSuffix ], unit, unit,
                   Eliom_services.registrable, 'c)
                  Eliom_services.service Lwt.t) ->
  (unit ->
   'a ->
   (unit, unit, Eliom_services.get_service_kind, [ `WithoutSuffix ],
    unit, unit, Eliom_services.registrable, 'c)
   Eliom_services.service Lwt.t) ->
  (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
   [ `WithoutSuffix ], unit, 'b, [> `Registrable ], 'c)
  Eliom_services.service