module Eliom_pervasives:sig
..end
eliomcand
js_of_eliom.
eliomcand
js_of_eliom.
See the .
type'a
client_value ='a Eliom_lib.client_value
{typ{ expr }}
in the server section (cf. ). They are abstract, but
become concrete once sent to the client. See also .
See the .
type ('a, 'b)
server_function
('a, 'b) server_function
is created on the server from a
function 'a -> 'b Lwt.t
and provides a given function on the client side.
See also .val server_function : ?scope:[< Eliom_common.scope ] ->
?options:unit ->
?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 ->
?error_handler:((string * exn) list -> 'b Lwt.t) ->
'a Deriving_Json.t ->
('a -> 'b Lwt.t) -> ('a, 'b) server_function
server_function argument_type f
creates a value of type . This allows
to call f
from the client. The first argument argument_type
is
an instance of Deriving_Json
for the type of the argument. It is
used to safely encode and decode the argument sent to the server.
The optional parameters correspond directly to the optional parameters of .
See also the .