NAME¶

Eliom_unwrap - register_unwrapper id f register an unwrapping function f to be called when a value is marked with the id id

Module¶

Module Eliom_unwrap

Documentation¶

Module Eliom_unwrap
: sig end register_unwrapper id f register an unwrapping function f to be called when a value is marked with the id id type unwrap_id val register_unwrapper : unwrap_id -> ('a -> 'b) -> unit === register_unwrapper id f register an unwrapping function f to be called when a value is marked with the id id === val unwrap : string -> int -> 'a unwrap s i unmarshal s (starting at character i ) and transform the value v using registered wrappers. The marshalled value must have been produced with Marshal.to_string (Eliom_wrap.wrap v) . This function is for internal use only val unwrap_js_var : string -> 'a unwrap_js_var v execute unwrap on the content of the javascript variable v val id_of_int : int -> unwrap_id