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

OCamldoc                                           2014-02-04                                     Eliom_wrap(3o)