sig
type ('a, 'b) page =
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'b)
Eliom_service.service
type options =
[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ]
type 'a return = 'a
type ('a, 'b) result = ('a, 'b) Eliom_registration.kind
val register :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?charset:string ->
?code:int ->
?content_type:string ->
?headers:Http_headers.t ->
?secure_session:bool ->
service:('a, 'b, [< Eliom_service.internal_service_kind ],
[< Eliom_service.suff ], 'c, 'd, [ `Registrable ], 'e)
Eliom_service.service ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'e)
Eliom_service.service Lwt.t) ->
('a ->
'b ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'e)
Eliom_service.service Lwt.t) ->
unit
val register_service :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?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:('a, [< Eliom_service.suff ] as 'b, 'c)
Eliom_parameter.params_type ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'd)
Eliom_service.service Lwt.t) ->
('a ->
unit ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'd)
Eliom_service.service Lwt.t) ->
('a, unit,
[> `Attached of
([> `Internal of [> `Service ] ], [> `Get ]) Eliom_service.a_s ],
'b, 'c, unit, [< Eliom_service.registrable > `Registrable ], 'd)
Eliom_service.service
val register_coservice :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?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_service.a_s ],
[ `WithoutSuffix ], unit, unit, [< Eliom_service.registrable ],
'a)
Eliom_service.service ->
get_params:('b, [ `WithoutSuffix ], 'c) Eliom_parameter.params_type ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'a)
Eliom_service.service Lwt.t) ->
('b ->
unit ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'a)
Eliom_service.service Lwt.t) ->
('b, unit,
[> `Attached of
([> `Internal of [> `Coservice ] ], [> `Get ]) Eliom_service.a_s ],
[ `WithoutSuffix ], 'c, unit,
[< Eliom_service.registrable > `Registrable ], 'a)
Eliom_service.service
val register_coservice' :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?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_parameter.params_type ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'c)
Eliom_service.service Lwt.t) ->
('a ->
unit ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'c)
Eliom_service.service Lwt.t) ->
('a, unit, [> `Nonattached of [> `Get ] Eliom_service.na_s ],
[ `WithoutSuffix ], 'b, unit,
[< Eliom_service.registrable > `Registrable ], 'c)
Eliom_service.service
val register_post_service :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?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_service.a_s ],
[< Eliom_service.suff ] as 'b, 'c, unit, [< `Registrable ], 'd)
Eliom_service.service ->
post_params:('e, [ `WithoutSuffix ], 'f) Eliom_parameter.params_type ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'g)
Eliom_service.service Lwt.t) ->
('a ->
'e ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'g)
Eliom_service.service Lwt.t) ->
('a, 'e,
[> `Attached of
([> `Internal of [ `Coservice | `Service ] ], [> `Post ])
Eliom_service.a_s ],
'b, 'c, 'f, [< Eliom_service.registrable > `Registrable ], 'g)
Eliom_service.service
val register_post_coservice :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?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_service.a_s ],
[< Eliom_service.suff ] as 'b, 'c, unit, [< `Registrable ], 'd)
Eliom_service.service ->
post_params:('e, [ `WithoutSuffix ], 'f) Eliom_parameter.params_type ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'd)
Eliom_service.service Lwt.t) ->
('a ->
'e ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'd)
Eliom_service.service Lwt.t) ->
('a, 'e,
[> `Attached of
([> `Internal of [> `Coservice ] ], [> `Post ]) Eliom_service.a_s ],
'b, 'c, 'f, [< Eliom_service.registrable > `Registrable ], 'd)
Eliom_service.service
val register_post_coservice' :
?scope:[< Eliom_common.scope ] ->
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?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_parameter.params_type ->
?error_handler:((string * exn) list ->
(unit, unit, Eliom_service.get_service_kind,
[ `WithoutSuffix ], unit, unit,
Eliom_service.registrable, 'c)
Eliom_service.service Lwt.t) ->
(unit ->
'a ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'c)
Eliom_service.service Lwt.t) ->
(unit, 'a, [> `Nonattached of [> `Post ] Eliom_service.na_s ],
[ `WithoutSuffix ], unit, 'b,
[< Eliom_service.registrable > `Registrable ], 'c)
Eliom_service.service
val send :
?options:[ `Found
| `MovedPermanently
| `NotNodifed
| `SeeOther
| `TemporaryRedirect
| `UseProxy ] ->
?charset:string ->
?code:int ->
?content_type:string ->
?headers:Http_headers.t ->
(unit, unit, Eliom_service.get_service_kind, [ `WithoutSuffix ],
unit, unit, Eliom_service.registrable, 'a)
Eliom_service.service -> ('b, 'a) Eliom_registration.kind Lwt.t
end