---
name: "Eliom_pervasives.server"
section: "3o"
platform: "linux"
package: "libeliom-ocaml-doc"
version: "4.0.0-2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Eliom_pervasives.server"
---

# Eliom\_pervasives.server(3o)

This module is automatically open by eliomc and js\_of\_eliom.

## 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.

**===** **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 .