package babel

You can search for identifiers within the package.

in-package search v0.2.0

babel
- Babel
  - Callee
    
    One_way
    
    Pipe_rpc
    
    Pipe_rpc_direct
    
    Direct_stream_writer
    
    Expert
    
    Transformation_id
    
    For_testing
    
    Hash_queue
    
    Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
    
    Map
    
    Diff
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Set
    
    Diff
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
    
    Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key
    
    Group
    
    For_testing
    
    Rpc
    
    Rpc'
    
    State_rpc
    
    Streamable_pipe_rpc
    
    Streamable_plain_rpc
    
    Streamable_state_rpc
  - Caller
    
    Expert
    
    One_way
    
    One_way'
    
    One_way_exn
    
    Pipe_rpc
    
    Pipe_rpc_exn
    
    Pipe_rpc_iter
    
    Rpc
    
    Rpc'
    
    Rpc_exn
    
    State_rpc
    
    Streamable_pipe_rpc
    
    Streamable_plain_rpc
    
    Streamable_state_rpc
  - Generic_rpc
  - Shape
    
    Map
    
    Diff
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Set
    
    Diff
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt

Legend:
Library
Module
Module type
Parameter
Class
Class type

High level functions for working with callers in the style of Streamable.State_rpc.dispatch.

type ('q, 's, 'u) dispatch :=
  'q ->
  ('s * 'u Async_kernel.Pipe.Reader.t) Core.Or_error.t Core.Or_error.t
    Async_kernel.Deferred.t

val dispatch_multi : 
  ('q, 's, 'u) dispatch t ->
  Async_rpc_kernel.Versioned_rpc.Connection_with_menu.t ->
  ('q, 's, 'u) dispatch

Determine which supported dispatch strategy to use and invoke the chosen rpcs. To unsubscribe, you can close the pipe.

val singleton : ('q, 's, 'u) Streamable.State_rpc.t -> ('q, 's, 'u) dispatch t

Create a new caller supporting a single rpc.

val add : 
  ('q, 's, 'u) dispatch t ->
  rpc:('q, 's, 'u) Streamable.State_rpc.t ->
  ('q, 's, 'u) dispatch t

Add support for dispatching another rpc. dispatch_multi will prefer this rpc over the ones the caller already supports.

val map_query : 
  ('q1, 's, 'u) dispatch t ->
  f:('q2 -> 'q1) ->
  ('q2, 's, 'u) dispatch t

A specialization of map for the query type of a protocol.

val map_state : 
  ('q, 's1, 'u) dispatch t ->
  f:('s1 -> 's2) ->
  ('q, 's2, 'u) dispatch t

A specialization of map for the state type of a protocol.

val map_update : 
  ('q, 's, 'u1) dispatch t ->
  f:('u1 -> 'u2) ->
  ('q, 's, 'u2) dispatch t

A specialization of map for the update type of a protocol.

Sometimes, Caller.Streamable_state_rpc.map_update is not sufficient. For example, sometimes it might not be possible to convert the response to the desired type, in which case it may be appropriate to drop the value from the pipe entirely. For such cases, use Caller.map_response instead. It gives you access to the pipe itself, not just the values inside it, allowing you to use something like Pipe.filter_map.

val filter_map_update : 
  ('q, 's, 'u1) dispatch t ->
  f:('u1 -> 'u2 option) ->
  ('q, 's, 'u2) dispatch t

Same as map_update but filters out some responses from the response pipe