NAME

       Eliom_pervasives - This module is automatically open by eliomc and js_of_eliom.

Module

       Module   Eliom_pervasives

Documentation

       Module Eliom_pervasives
        : sig end

       This module is automatically open by eliomc and js_of_eliom.

       === This module is automatically open by eliomc and js_of_eliom. ===

       === Client values See the {% <<a_manual chapter="clientserver-language"|manual>> %}. ===

       type 'a client_value = 'a Eliom_lib.client_value

       Client  values on the server are created by the syntax {typ{ expr }} in the server section
       (cf. ).  They are abstract, but become concrete once sent to the client. See also .

       === RPC / Server functions  See  the  {%  <<a_manual  chapter="clientserver-communication"
       fragment="rpc"|manual>> %}. ===

       type ('a, 'b) server_function

       A value of type ('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 .