Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_reader.resolve_to_any_obj_channel

class resolve_to_any_obj_channel : ?close:Netchannels.in_obj_channel -> unit -> channel_of_id:(Pxp_types.resolver_id -> accepted_id) -> unit -> resolver
This resolver calls the function channel_of_id to open a new channel for the passed resolver_id. This function must either return the accepted_id, or it must fail with Not_competent.

When the resolver is closed, the function passed by the close argument is called. By default, the channel is closed (i.e. the default is: close:(fun ch -> ch # close_in)).

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml