---
name: "Eliom_wrap.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_wrap.server"
---

# Eliom\_wrap.server(3o)

'a wrapper is the type of values to include into a value of type 'a for it to be wraped specificaly

## NAME

Eliom\_wrap - 'a wrapper is the type of values to include into a value of type 'a for it to be wraped specificaly

## Module

Module   Eliom\_wrap

## Documentation

Module **Eliom\_wrap**\
  :  **sig end**

**'a wrapper** is the type of values to include into a value of type 'a for it to be wraped specificaly

*type* **'a** *wrapped\_value*

*type* **+'a** *wrapper*

**'a wrapper** is the type of values to include into a value of type 'a for it to be wraped specificaly

*val create\_wrapper* :  **('a -\> 'b) -\> 'a wrapper**

**create f** create a new tag that can be included into a value.  if **wrap** is called on a father of a value  **v** containing a tag, the value  **v** will be replaced by  **f v** before marshaling.

*val wrap* :  **'a -\> 'a wrapped\_value**

marshal a value, taking into account the tags.

*val empty\_wrapper* :  **'a wrapper**

a wrapper that do not change the value

*type unwrap\_id*

unwrap \*

*type unwrapper*

*val create\_unwrapper* :  **unwrap\_id -\> unwrapper**

*val empty\_unwrapper* :  **unwrapper**

*val id\_of\_int* :  **int -\> unwrap\_id**