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.ocaml ]
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.ocaml ]
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.ocaml ]
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.ocaml ] Eliom_parameter.param_name,
[ `Registrable ], Eliom_registration.http_service)
Eliom_service.service
type ('a, 'b) wrapped_bus = 'b wrapped_channel * 'a bus_send_service