Eliom_unwrap(3) 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