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