module Eliom_comet_base: sig
.. end
None means 'newest channel'
type 'a
chan_id
val string_of_chan_id : 'a chan_id -> string
val chan_id_of_string : string -> 'a chan_id
type
position =
| |
Newest of int |
| |
After of int |
| |
Last of int option |
module Json_position: Deriving_Json.Json
with type a = position
type
comet_stateless_request = (string * position) array
None means 'newest channel'
module Json_comet_stateless_request: Deriving_Json.Json
with type a = (string * position) array
type
command =
| |
Register of string |
| |
Close of string |
module Json_command: Deriving_Json.Json
with type a = command
type
comet_stateful_request =
| |
Request_data of int |
| |
Commands of command array |
module Json_comet_stateful_request: Deriving_Json.Json
with type a = comet_stateful_request
type
comet_request =
module Json_comet_request: Deriving_Json.Json
with type a = comet_request
val comet_request_param : (comet_request, [ `WithoutSuffix ],
[ `One of comet_request Eliom_parameter.caml ]
Eliom_parameter.param_name)
Eliom_parameter.params_type
type 'a
channel_data =
| |
Data of 'a |
| |
Full |
| |
Closed |
module Json_channel_data: functor (
M_a
:
Deriving_Json.Json
) ->
Deriving_Json.Json
with type a = M_a.a channel_data
type
answer =
| |
Stateless_messages of (string * (string * int) channel_data) array |
| |
Stateful_messages of (string * string channel_data) array |
| |
Timeout |
| |
Process_closed |
| |
Comet_error of string |
module Json_answer: Deriving_Json.Json
with type a = answer
type
comet_service = (unit, comet_request, Eliom_service.service_kind,
[ `WithoutSuffix ], unit,
[ `One of comet_request Eliom_parameter.caml ]
Eliom_parameter.param_name, Eliom_service.registrable,
Eliom_registration.http_service)
Eliom_service.service
type
internal_comet_service = (unit, comet_request, Eliom_service.internal_service_kind,
[ `WithoutSuffix ], unit,
[ `One of comet_request Eliom_parameter.caml ]
Eliom_parameter.param_name, [ `Registrable ],
Eliom_registration.http_service)
Eliom_service.service
type
stateless_kind =
| |
After_kind of int |
| |
Newest_kind of int |
| |
Last_kind of int option |
type 'a
wrapped_channel =
type 'a
bus_send_service = (unit, 'a list, [ `Nonattached of [ `Post ] Eliom_service.na_s ],
[ `WithoutSuffix ], unit,
[ `One of 'a list Eliom_parameter.caml ] Eliom_parameter.param_name,
[ `Registrable ], Eliom_registration.http_service)
Eliom_service.service
type 'a
wrapped_bus = 'a wrapped_channel * 'a bus_send_service