<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="previous" href="Pxp_reader.resolve_to_this_obj_channel-c.html"> <link rel="next" href="Pxp_reader.resolve_to_url_obj_channel-c.html"> <link rel="Up" href="Pxp_reader.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of class methods" rel=Appendix href="index_methods.html"> <link title="Index of classes" rel=Appendix href="index_classes.html"> <link title="Index of class types" rel=Appendix href="index_class_types.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Pxp_types" rel="Chapter" href="Pxp_types.html"> <link title="Pxp_document" rel="Chapter" href="Pxp_document.html"> <link title="Pxp_dtd" rel="Chapter" href="Pxp_dtd.html"> <link title="Pxp_tree_parser" rel="Chapter" href="Pxp_tree_parser.html"> <link title="Pxp_core_types" rel="Chapter" href="Pxp_core_types.html"> <link title="Pxp_ev_parser" rel="Chapter" href="Pxp_ev_parser.html"> <link title="Pxp_event" rel="Chapter" href="Pxp_event.html"> <link title="Pxp_dtd_parser" rel="Chapter" href="Pxp_dtd_parser.html"> <link title="Pxp_codewriter" rel="Chapter" href="Pxp_codewriter.html"> <link title="Pxp_marshal" rel="Chapter" href="Pxp_marshal.html"> <link title="Pxp_yacc" rel="Chapter" href="Pxp_yacc.html"> <link title="Pxp_reader" rel="Chapter" href="Pxp_reader.html"> <link title="Intro_trees" rel="Chapter" href="Intro_trees.html"> <link title="Intro_extensions" rel="Chapter" href="Intro_extensions.html"> <link title="Intro_namespaces" rel="Chapter" href="Intro_namespaces.html"> <link title="Intro_events" rel="Chapter" href="Intro_events.html"> <link title="Intro_resolution" rel="Chapter" href="Intro_resolution.html"> <link title="Intro_getting_started" rel="Chapter" href="Intro_getting_started.html"> <link title="Intro_advanced" rel="Chapter" href="Intro_advanced.html"> <link title="Intro_preprocessor" rel="Chapter" href="Intro_preprocessor.html"> <link title="Example_readme" rel="Chapter" href="Example_readme.html"><title>PXP Reference : Pxp_reader.resolve_to_any_obj_channel</title> </head> <body> <div class="navbar"><a class="pre" href="Pxp_reader.resolve_to_this_obj_channel-c.html" title="Pxp_reader.resolve_to_this_obj_channel">Previous</a> <a class="up" href="Pxp_reader.html" title="Pxp_reader">Up</a> <a class="post" href="Pxp_reader.resolve_to_url_obj_channel-c.html" title="Pxp_reader.resolve_to_url_obj_channel">Next</a> </div> <h1>Class <a href="type_Pxp_reader.resolve_to_any_obj_channel.html">Pxp_reader.resolve_to_any_obj_channel</a></h1> <pre><span name="TYPEresolve_to_any_obj_channel"><span class="keyword">class</span> resolve_to_any_obj_channel</span> : <code class="type">?close:Netchannels.in_obj_channel -> unit -> channel_of_id:(<a href="Pxp_types.html#TYPEresolver_id">Pxp_types.resolver_id</a> -> <a href="Pxp_reader.html#TYPEaccepted_id">accepted_id</a>) -> unit -> </code><code class="type"><a href="Pxp_reader.resolver-c.html">resolver</a></code></pre>This resolver calls the function <code class="code">channel_of_id</code> to open a new channel for the passed <code class="code">resolver_id</code>. This function must either return the <code class="code">accepted_id</code>, or it must fail with <code class="code"><span class="constructor">Not_competent</span></code>. <p> When the resolver is closed, the function passed by the <code class="code">close</code> argument is called. By default, the channel is closed (i.e. the default is: <code class="code">close:(<span class="keyword">fun</span> ch <span class="keywordsign">-></span> ch <span class="keywordsign">#</span> close_in)</code>).<br> <hr width="100%"> </body></html>
